Package org.chocosolver.solver.constraints.nary.cnf

Interface Summary

Interface	Description
ILogical

Class Summary

Class	Description
LogicTreeToolBox
LogOp	Logical Operator, to ease clause definition.
PropClause	Deprecated replaced by PropSat, a miniSat solver
PropFalse
PropNogoods	Created by cprudhom on 20/01/15.
PropSat
PropTrue
SatConstraint
SatSolver	A MiniSat solver.

Enum Summary

Enum	Description
LogOp.Operator
LogOp.Type