|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.tools | |
|---|---|
| org.sat4j.maxsat | MAXSAT and Weighted Max SAT framework. |
| org.sat4j.opt | Built-in optimization framework. |
| org.sat4j.pb | Implementations of pseudo boolean solvers |
| org.sat4j.pb.tools | Implementation of different tools for pseudo boolean solvers |
| org.sat4j.sat.visu | Implementation of different visualization for the remote control. |
| 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.maxsat | |
|---|---|
| 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.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.pb | |
|---|---|
| AbstractOutputSolver
|
|
| DimacsStringSolver
Solver used to write down a CNF into a String. |
|
| 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.pb.tools | |
|---|---|
| ClausalCardinalitiesDecorator
A decorator for clausal cardinalities constraints. |
|
| LexicoDecorator
|
|
| ManyCore
A class allowing to run several solvers in parallel. |
|
| 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.sat.visu | |
|---|---|
| IVisualizationTool
|
|
| 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 | |||||||||