|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j | |
|---|---|
| org.sat4j | Contain a command line launcher for the SAT solvers. |
| Classes in org.sat4j used by org.sat4j | |
|---|---|
| Lanceur
This class is used to launch the SAT solvers from the command line. |
|
| Lanceur.ExitCode
Enumeration allowing to manage easily exit code for the SAT and PB Competitions. |
|
| LanceurPseudo2005
Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/). |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||