Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.cnf | |
org.chocosolver.solver.constraints.nary.nogood |
Class and Description |
---|
PropSat
A propagator to deal with clauses and interface a
SatSolver . |
Class and Description |
---|
PropNogoods
A propagator to store and propagate no-goods.
|
Copyright © 2017. All rights reserved.