Uses of Class
kodkod.engine.satlab.SATFactory

Packages that use SATFactory
kodkod.engine.config Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. 
kodkod.engine.satlab Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. 
 

Uses of SATFactory in kodkod.engine.config
 

Methods in kodkod.engine.config that return SATFactory
 SATFactory Options.solver()
          Returns the value of the solver options.
 

Methods in kodkod.engine.config with parameters of type SATFactory
 void Options.setSolver(SATFactory solver)
          Sets the solver option to the given value.
 

Constructors in kodkod.engine.config with parameters of type SATFactory
Options(SATFactory solver)
          Constructs an Options object using the given value for the solver option and default values for other options.
 

Uses of SATFactory in kodkod.engine.satlab
 

Fields in kodkod.engine.satlab declared as SATFactory
static SATFactory SATFactory.DefaultSAT4J
          The factory that produces instances of the default sat4j solver.
static SATFactory SATFactory.LightSAT4J
          The factory that produces instances of the "light" sat4j solver.
static SATFactory SATFactory.MiniSat
          The factory that produces instances of Niklas Eén and Niklas Sörensson's MiniSat solver.
static SATFactory SATFactory.MiniSatProver
          The factory the produces proof logging instances of the MiniSat solver.
static SATFactory SATFactory.ZChaff
          The factory that produces instances of the zchaff solver from Princeton; the returned instances support only basic sat solver operations (adding variables/clauses, solving, and obtaining a satisfying solution, if any).
static SATFactory SATFactory.ZChaffMincost
          The factory the produces cost-minimizing instances of the zchaff solver from Princeton.
 

Methods in kodkod.engine.satlab that return SATFactory
static SATFactory SATFactory.externalFactory(java.lang.String executable, java.lang.String options, java.lang.String tempInput, java.lang.String tempOutput)
          Returns a SATFactory that produces SATSolver wrappers for the external SAT solver specified by the executable parameter.
static SATFactory SATFactory.sat4jFactory(java.lang.String solverName)
          Returns a SATFactory that produces instances of the specified SAT4J solver.