.. currentmodule:: iglsynth.logic

================
Logic Module API
================

.. automodule:: iglsynth.logic

.. toctree::
    :maxdepth: 1

    Overview <overview>
    logic.core <core>
    logic.ltl <ltl>