.. solvers-module:

Solvers Module
===============================================

The *Solvers* module provides access to a set of solvers that belong to different
formalisms. Currently, the only supported formalism is SAT.

.. toctree::
    :maxdepth: 3
    :caption: Solvers:

    solvers/satsolver.rst