.. _solvers-module: SAT Solver =============================================== The SAT Solver module provides a bridge to access, in a standard way, multiple solver oracles from Python. The actual set of solvers written in C/C++ for which a wrapper is already provided are: Integrated SAT solvers ----------------------- .. include:: ../shared/solvers-list.rst To bring new solvers to the toolkit, please look at the :ref:`Solver Developer ` page for instructions. .. _pyisat: .. autoclass:: optilog.solvers.sat.pyisat.PyiSAT