|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SolverDecorator | |
---|---|
org.sat4j.tools | Tools to be used on top of an ISolver. |
Uses of SolverDecorator in org.sat4j.tools |
---|
Subclasses of SolverDecorator in org.sat4j.tools | |
---|---|
class |
Minimal4CardinalityModel
Computes models with a minimal number (with respect to cardinality) of negative literals. |
class |
Minimal4InclusionModel
Computes models with a minimal subset (with respect to set inclusion) of negative literals. |
class |
ModelIterator
That class allows to iterate through all the models (implicants) of a formula. |
class |
SolutionCounter
Another solver decorator that counts the number of solutions. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |