Package org.chocosolver.sat
-
Class Summary Class Description PropNogoods A propagator to store and propagate no-goods.PropSat A propagator to deal with clauses and interface aSatSolver
.
Class | Description |
---|---|
PropNogoods |
A propagator to store and propagate no-goods.
|
PropSat |
A propagator to deal with clauses and interface a
SatSolver . |