Package kodkod.engine.satlab

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

See:
Description

Interface Summary

OrderableSolver

Solvers that implement methods to influence their variable ordering

Class Summary

MiniSat

Java wrapper for the MiniSat solver by Niklas Eén and Niklas Sörensson.

Package kodkod.engine.satlab Description

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 SATSolver, SATProver, and SATMinSolver interfaces. The SATFactory class contains a selection of static instances that can be used to generate specific SAT solvers.

Related Documentation

See Also:

SATFactory, SATSolver, SATProver, SATMinSolver