Uses of Class
org.sat4j.LightFactory

Packages that use LightFactory

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

Uses of LightFactory in org.sat4j

Methods in org.sat4j that return LightFactory

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