Uses of Class
org.sat4j.AbstractLauncher

Packages that use AbstractLauncher

Package	Description
org.sat4j	Contains a command line launcher for the SAT solvers.

Uses of AbstractLauncher in org.sat4j

Subclasses of AbstractLauncher in org.sat4j

Modifier and Type	Class and Description
class	AbstractOptimizationLauncher Deprecated.
class	BasicLauncher<T extends ISolver> Very simple launcher, to be used during the SAT competition or the SAT race for instance.
class	MUSLauncher