choco.kernel.solver
Interfaces
Solver
Classes
Configuration
Solution
Enums
ResolutionPolicy
Exceptions
ContradictionException
SolverException
Annotation Types
Configuration.Default