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.