| Interface | Description |
|---|---|
| ILauncherMode |
Allow to change the behavior of the launcher (either decision or optimization
mode)
|
| Class | Description |
|---|---|
| AbstractLauncher |
That class is used by launchers used to solve decision problems, i.e.
|
| AbstractOptimizationLauncher | Deprecated |
| 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.
|
| MUSLauncher |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.