A C D G H L M N O P R S U W

G

GenericOptLauncher - Class in org.sat4j.maxsat

Generic launcher to be used for solving optimization problems.

GenericOptLauncher() - Constructor for class org.sat4j.maxsat.GenericOptLauncher