Module org.chocosolver.solver
Package org.chocosolver.solver.constraints.nary.sat
-
Class Summary Class Description NogoodStealer This class manages no-goods sharing among models involved in aParallelPortfolio
.PropSat A propagator to deal with clauses and interface aMiniSat
.