Uses of Class
org.sat4j.LightFactory

Packages that use LightFactory
org.sat4j Contains a command line launcher for the SAT solvers. 
 

Uses of LightFactory in org.sat4j
 

Methods in org.sat4j that return LightFactory
static LightFactory LightFactory.instance()
          Access to the single instance of the factory.
 



Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.