.. currentmodule:: iglsynth.solver

=================
Solver Module API
=================

.. automodule:: iglsynth.solver

.. toctree::
    :maxdepth: 1

    Overview <overview>
    solver.core <core>
    solver.zielonka <zielonka>