javax.constraints.package.html Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jsr331 Show documentation

JCP Standard JSR331 “Java Constraint Programming API”. It is used for Modeling and Solving Constraint Satisfaction and Optimization Problems using Java and off-the-shelf Constraint/Linear Solvers

The newest version!




 JSR-331 "Java Constraint Programming API" v.1.0.1 





This package describes a generic Java programming interface for Constraint Programming (CP API)
- see  www.jcp.org .

 CP API supports two clearly separated concepts:

 Problem Definition (class Problem): contains all Constrained Variables and
Constraints that define and control relationships between constrained objects
 Problem Resolution (class Solver): contains search algorithms for finding problem solutions.


The Constrained Variables are represented in form of Java objects
which may use the predefined constrained variables types such as Var, VarBool, VarReal, and
VarSet.

The Constraints themselves are objects inherited from a generic class Constraint.
The API covers major binary and global constraints required for the practical CP
programming. 

To find the problem solutions, the API uses predefined search algorithms expressed
by class SearchStrategy. There are predefined methods that allow a user to find a feasible  solution, 
all solutions, or an optimal solution.