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

LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_.
Integer Set Library (isl) 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.mines-paristech.fr/git/linpy.git>`_.

To have an overview of LinPy's features, you may wish to read the :ref:`tutorial`.
For a comprehensive description of its functionalities, please consult the :ref:`reference`.

.. only:: html

    Contents:

.. toctree::
    :maxdepth: 2

    install.rst
    tutorial.rst
    reference.rst


.. only:: html

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

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