| Package | Description |
|---|---|
| org.sat4j | |
| org.sat4j.pb |
| Class and Description |
|---|
| 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.
|
| ILauncherMode
Allow to change the behavior of the launcher (either decision or optimization
mode)
|
| LightFactory
That class is the entry point to the default, best performing configuration
of SAT4J.
|
| Class and Description |
|---|
| AbstractLauncher
That class is used by launchers used to solve decision problems, i.e.
|