Provides access to various Java and C++ SAT solvers through a common SAT Solver interface.

Package Specification

Provides access to various Java and C++ SAT solvers through the {@linkplain kodkod.engine.satlab.SATSolver}, {@linkplain kodkod.engine.satlab.SATProver}, and {@linkplain kodkod.engine.satlab.SATMinSolver} interfaces. The {@linkplain kodkod.engine.satlab.SATFactory} class contains a selection of static instances that can be used to generate specific SAT solvers.

Related Documentation

@see kodkod.engine.satlab.SATFactory @see kodkod.engine.satlab.SATSolver @see kodkod.engine.satlab.SATProver @see kodkod.engine.satlab.SATMinSolver