Module org.chocosolver
Package org.chocosolver.solver.constraints.nary.clauses
-
Class Summary Class Description ClauseBuilder A signed clause builderClauseConstraint A constraint dedicated to store and manage signed-clauses.ClauseStore A class to manage life of sclauses during resolution.PropSignedClause This propagator manages a signed clause: a disjunction of unary membership constraints.