|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j | |
|---|---|
| org.sat4j | Contains a command line launcher for the SAT solvers. |
| Classes in org.sat4j used by org.sat4j | |
|---|---|
| AbstractLauncher
That class is used by launchers used to solve decision problems, i.e. |
|
| ExitCode
Enumeration allowing to manage easily exit code for the SAT and PB Competitions. |
|
| LightFactory
That class is the entry point to the default, best performing configuration of SAT4J. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||