Module org.chocosolver
Package org.chocosolver.solver.constraints.nary.cnf
-
Interface Summary Interface Description ILogical -
Class Summary Class Description LogicTreeToolBox A tool box to convert logical expressions into CNF.LogOp Logical Operator, to ease clause definition.PropFalse PropTrue SatConstraint -
Enum Summary Enum Description LogOp.Operator LogOp.Type