|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SATSolver | |
---|---|
kodkod.engine.fol2sat | Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. |
kodkod.engine.satlab | Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. |
Uses of SATSolver in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return SATSolver | |
---|---|
SATSolver |
Translation.cnf()
Returns a SATSolver object initialized with the CNF encoding of this.formula and the timeout and random seed values specified by this.options. |
Uses of SATSolver in kodkod.engine.satlab |
---|
Subinterfaces of SATSolver in kodkod.engine.satlab | |
---|---|
interface |
SATMinSolver
Provides an interface to a SAT solver that produces minimal cost solutions. |
interface |
SATProver
Provides an interface to a SAT solver that can generate proofs of unsatisfiability. |
Methods in kodkod.engine.satlab that return SATSolver | |
---|---|
abstract SATSolver |
SATFactory.instance()
Returns an instance of a SATSolver produced by this factory. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |