choco.integer
Interfaces 
IntConstraint
IntDomainVar
IntExp
IntVar