Uses of Class
org.chocosolver.solver.constraints.nary.cnf.SatConstraint
-
Packages that use SatConstraint Package Description org.chocosolver.solver A package devoted to Model and resolution tools. -
-
Uses of SatConstraint in org.chocosolver.solver
Methods in org.chocosolver.solver that return SatConstraint Modifier and Type Method Description SatConstraint
Model. getMinisat()
Returns the unique constraint embedding a minisat model.
-