Uses of Class
org.sat4j.core.ASolverFactory

Packages that use ASolverFactory
org.sat4j Contains a command line launcher for the SAT solvers. 
org.sat4j.minisat Implementation of the MiniSAT specification in Java. 
 

Uses of ASolverFactory in org.sat4j
 

Subclasses of ASolverFactory in org.sat4j
 class LightFactory
          That class is the entry point to the default, best performing configuration of SAT4J.
 

Methods in org.sat4j with parameters of type ASolverFactory
protected
<T extends ISolver>
void
AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory)
           
 

Constructors in org.sat4j with parameters of type ASolverFactory
BasicLauncher(ASolverFactory<T> factory)
           
 

Uses of ASolverFactory in org.sat4j.minisat
 

Subclasses of ASolverFactory in org.sat4j.minisat
 class SolverFactory
          User friendly access to pre-constructed solvers.
 



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