choco.cp.solver.constraints.integer.extension
Classes 
AC2001BinSConstraint
AC3BinSConstraint
AC3rmBinSConstraint
AC3rmBitBinSConstraint
CspLargeSConstraint
FastBooleanValidityChecker
FastValidityChecker
FCBinSConstraint
GAC2001LargeSConstraint
GAC2001PositiveLargeConstraint
GAC3rmLargeConstraint
GAC3rmPositiveLargeConstraint
GACstrPositiveLargeSConstraint
ValidityChecker
ValidityChecker.VarComparator