choco
Interfaces 
BoolModeler
Constraint
ConstraintCollection
Entity
IntModeler
Propagator
Var
Classes 
AbstractConstraint
AbstractEntity
AbstractModel
AbstractProblem
AbstractSolver
AbstractVar
Formula
Problem
Solution
Solver
Exceptions 
ContradictionException