choco.cp.solver.constraints.integer.bool
Classes 
BinAnd
BinNand
BinNor
BinOr
BinXnor
BinXor
BooleanFactory
BoolIntLinComb
BoolTimesXYZ
Identity
LargeAnd
LargeNand
LargeNor
LargeOr
LargeXnor
LargeXor
Not