Uses of Package
kodkod.engine.satlab

Packages that use kodkod.engine.satlab

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

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.ordering

OrderableSolver
Solvers that implement methods to influence their variable ordering

Classes in kodkod.engine.satlab used by kodkod.engine.satlab

OrderableSolver
Solvers that implement methods to influence their variable ordering