choco.integer
Interfaces
IntConstraint
IntDomainVar
IntExp
IntVar