.. _Smt_interfaces:

pycatia.smt_interfaces.simplifications
=======================================

.. automodule:: pycatia.smt_interfaces.simplifications
    :members: