Welcome to LinPy’s documentation!
=================================

LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_.
isl (Integer Set Library) is a C library for manipulating sets and relations of integer points bounded by linear constraints.

LinPy is a free software, licensed under the `GPLv3 license <http://www.gnu.org/licenses/gpl-3.0.txt>`_.
Its source code is available `here <https://scm.cri.ensmp.fr/git/linpy.git>`_.

To have an overview of LinPy's functionalities, you may wish to consult the :ref:`examples` section.

.. only:: html

    Contents:

.. toctree::
    :maxdepth: 2

    install.rst
    examples.rst
    reference.rst

.. only:: html

    Indices and tables
    ==================

    * :ref:`genindex`
    * :ref:`search`