choco.cp.model.managers.constraints.expressions
Classes 
AndManager
IfOnlyIfManager
IfThenElseManager
ImpliesManager
NandManager
NorManager
NotManager
OrManager
XnorManager
XorManager