| Package | Description |
|---|---|
| org.sat4j |
Contains a command line launcher for the SAT solvers.
|
| 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.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.