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