|
||||||||||
| 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. |
| org.sat4j.tools.xplain | Implementation of an explanation engine in case of unsatisfiability. |
| Classes in org.sat4j.tools used by org.sat4j.opt | |
|---|---|
| SolverDecorator
The aim of that class is to allow adding dynamic responsibilities to SAT solvers using the Decorator design pattern. |
|
| Classes in org.sat4j.tools used by org.sat4j.tools | |
|---|---|
| AbstractOutputSolver
|
|
| DimacsArrayReader
Very simple Dimacs array reader. |
|
| IVisualizationTool
|
|
| OutcomeListener
Simple interface to check the outcome of running a solver in parallel. |
|
| SearchListenerAdapter
|
|
| SolverDecorator
The aim of that class is to allow adding dynamic responsibilities to SAT solvers using the Decorator design pattern. |
|
| Classes in org.sat4j.tools used by org.sat4j.tools.xplain | |
|---|---|
| SolverDecorator
The aim of that class is to allow adding dynamic responsibilities to SAT solvers using the Decorator design pattern. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||