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
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
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.