|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |