Uses of Interface
kodkod.engine.satlab.SATSolver

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.