|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DimacsStringSolver | |
---|---|
org.sat4j.pb |
Uses of DimacsStringSolver in org.sat4j.pb |
---|
Subclasses of DimacsStringSolver in org.sat4j.pb | |
---|---|
class |
OPBStringSolver
Solver used to display in a string the pb-instance in OPB format. |
class |
UserFriendlyPBStringSolver<T>
Solver to display SAT instances using domain objects names instead of Dimacs numbers. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |