|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AbstractOutputSolver | |
|---|---|
| org.sat4j.tools | Tools to be used on top of an ISolver. |
| Uses of AbstractOutputSolver in org.sat4j.tools |
|---|
| Subclasses of AbstractOutputSolver in org.sat4j.tools | |
|---|---|
class |
DimacsOutputSolver
Solver used to display in a writer the CNF instance in Dimacs format. |
class |
DimacsStringSolver
Solver used to write down a CNF into a String. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||