|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.tools | |
|---|---|
| org.sat4j.opt | Built-in optimization framework. |
| org.sat4j.tools | Tools to be used on top of an ISolver. |
| Classes in org.sat4j.tools used by org.sat4j.opt | |
|---|---|
| SolverDecorator
The aim of that class is to allow adding dynamic responsabilities to SAT solvers using the Decorator design pattern. |
|
| Classes in org.sat4j.tools used by org.sat4j.tools | |
|---|---|
| DimacsArrayReader
Very simple Dimacs array reader. |
|
| DimacsArrayToDimacsConverter
Converts Dimacs problems in array format (without the terminating 0) to Dimacs Strings. |
|
| SolverDecorator
The aim of that class is to allow adding dynamic responsabilities to SAT solvers using the Decorator design pattern. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||