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