Uses of Package
org.chocosolver.solver.constraints.nary.clauses
-
Packages that use org.chocosolver.solver.constraints.nary.clauses Package Description org.chocosolver.solver A package devoted to Model and resolution tools.org.chocosolver.solver.constraints.nary.clauses org.chocosolver.solver.learn -
Classes in org.chocosolver.solver.constraints.nary.clauses used by org.chocosolver.solver Class Description ClauseBuilder A signed clause builderClauseConstraint A constraint dedicated to store and manage signed-clauses. -
Classes in org.chocosolver.solver.constraints.nary.clauses used by org.chocosolver.solver.constraints.nary.clauses Class Description ClauseBuilder A signed clause builderClauseStore A class to manage life of sclauses during resolution.PropSignedClause This propagator manages a signed clause: a disjunction of unary membership constraints. -
Classes in org.chocosolver.solver.constraints.nary.clauses used by org.chocosolver.solver.learn Class Description ClauseStore A class to manage life of sclauses during resolution.