Certlin
=======

To install this SageMath package, visit the `repository on GitHub <https://github.com/MarcusAichmayr/certlin>`_.

.. rubric:: Certifying linear inequality systems

.. autosummary::
    :toctree: generated

    certlin.linear_inequality_systems
    certlin.intervals
    certlin.utility