choco.integer.constraints
Classes 
AbstractBinIntConstraint
AbstractIntConstraint
AbstractLargeIntConstraint
AbstractTernIntConstraint
AbstractUnIntConstraint
BooleanChanneling
Element
ElementV
EqualXC
EqualXYC
GreaterOrEqualXC
GreaterOrEqualXYC
IntLinComb
InverseChanneling
LessOrEqualXC
NotEqualXC
NotEqualXYC
TimesXYZ