choco.cp.solver.constraints.integer.channeling
Classes
BooleanChanneling
DomainChanneling
ReifiedBinImplication
ReifiedBinXnor
ReifiedBinXor
ReifiedLargeAnd
ReifiedLargeNand
ReifiedLargeNor
ReifiedLargeOr