|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| AbstractLauncher | That class is used by launchers used to solve decision problems, i.e. |
| AbstractOptimizationLauncher | This class is intended to be used by launchers to solve optimization problems, i.e. problems for which a loop is needed to find the optimal solution. |
| BasicLauncher<T extends ISolver> | Very simple launcher, to be used during the SAT competition or the SAT race for instance. |
| 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. |
| Messages | That class is intented to manage internationalisation within the application. |
| MoreThanSAT | This is an example of use of the SAT4J library for computing the backbone of a CNF or to compute the number of solutions of a CNF. |
Contains a command line launcher for the SAT solvers.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||