|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AbstractLauncher | |
|---|---|
| org.sat4j | Contains a command line launcher for the SAT solvers. |
| Uses of AbstractLauncher in org.sat4j |
|---|
| Subclasses of AbstractLauncher in org.sat4j | |
|---|---|
class |
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. |
class |
BasicLauncher<T extends ISolver>
Very simple launcher, to be used during the SAT competition or the SAT race for instance. |
class |
MUSLauncher
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||