Uses of Class
org.sat4j.minisat.SolverFactory

Packages that use SolverFactory

Package	Description
org.sat4j.minisat	Implementation of the MiniSAT specification in Java.

Uses of SolverFactory in org.sat4j.minisat

Methods in org.sat4j.minisat that return SolverFactory

Modifier and Type	Method and Description
static SolverFactory	SolverFactory.instance() Access to the single instance of the factory.