Uses of Class
org.chocosolver.solver.constraints.nary.nogood.NogoodConstraint
-
Packages that use NogoodConstraint Package Description org.chocosolver.solver A package devoted to Model and resolution tools. -
-
Uses of NogoodConstraint in org.chocosolver.solver
Methods in org.chocosolver.solver that return NogoodConstraint Modifier and Type Method Description NogoodConstraint
Model. getNogoodStore()
Return a constraint embedding a nogood store (based on a sat model).
-