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.
|