choco.kernel.model.constraints.cnf
Classes 
ALogicTree
Literal
LogicTreeToolBox
Node
Singleton
Enums 
ALogicTree.Operator
ALogicTree.Type