I’ve learned that the JSR-331 “Constraint Programming API” has been nominated for the most innovative JSR of the year for JCP Program Awards. Hopefully, it will bring more recognition of the CP power among Java developers. Related links: Advertisements
To solve a constraint satisfaction/optimization problem we may utilize the following concepts: Solver Search Strategies Solution
Let’s consider how the proposed JSR-331 standard suggests creating and posting constraints.
Formally a CSP is defined by a set of variables V1, V2, … Vn, and a set of constraints, C1, C2, … Cm.