Uses of Package
kodkod.engine.satlab

Packages that use kodkod.engine.satlab
kodkod.engine Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. 
kodkod.engine.config Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. 
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. 
kodkod.engine.ucore Contains strategies for minimizing unsatisfiable cores generated by SAT provers. 
 

Classes in kodkod.engine.satlab used by kodkod.engine
ReductionStrategy
          Strategy for reducing the unsatisfiable core of a SATProver.
 

Classes in kodkod.engine.satlab used by kodkod.engine.config
SATFactory
          A factory for generating SATSolver instances of a given type.
 

Classes in kodkod.engine.satlab used by kodkod.engine.fol2sat
SATSolver
          Provides an interface to a SAT solver.
 

Classes in kodkod.engine.satlab used by kodkod.engine.satlab
Clause
          A propositional clause.
ReductionStrategy
          Strategy for reducing the unsatisfiable core of a SATProver.
ResolutionTrace
          A proof of unsatisfiability generated by a SATProver.
SATAbortedException
          A runtime exception thrown when a sat solver terminates abnormally, usually because it was cancelled.
SATFactory
          A factory for generating SATSolver instances of a given type.
SATSolver
          Provides an interface to a SAT solver.
 

Classes in kodkod.engine.satlab used by kodkod.engine.ucore
ReductionStrategy
          Strategy for reducing the unsatisfiable core of a SATProver.
ResolutionTrace
          A proof of unsatisfiability generated by a SATProver.