Determining compliance rates for probabilistic requests

A system for determining compliance of one or more solutions with a probabilistic request submitted for solving a constraint satisfaction problem (CSP), wherein the CSP is defined by one or more variables and constraints such that the constraints define limitations for values that can be assigned to each variable in a given domain to solve the CSP, the system comprising:

• a logic unit for associating a first probabilistic request with a first constraint, wherein the first probabilistic request indicates that the first constraint is to be satisfied in a predefined percentage of the solutions;
• a logic unit for processing a first solution to determine whether the first constraint is satisfied by the first solution;
• and
• a logic unit for incrementing a success counter for the first probabilistic request, in response to determining that the first constraint is satisfied by the first solution.

A computer program product comprising a computer useable medium having a computer readable program, wherein the computer readable program when executed on a computer causes the computer to:

• associate a first probabilistic request with a first constraint, wherein the first probabilistic request indicates that the first constraint is to be satisfied in a predefined percentage of the solutions;
• process a first solution to determine whether the first constraint is satisfied by the first solution;
• and
• increment a success counter for the first probabilistic request, in response to determining that the first constraint is satisfied by the first solution.