- You can adapt this file completely to your liking, but it should at least
- contain the root `toctree` directive.
Welcome to LinPy’s documentation!
=================================
Welcome to LinPy’s documentation!
=================================
-LinPy is a Python wrapper for the Integer Set Library (isl) by Sven Verdoolaege. Isl ia a C library for manipulating sets and relations of integer points bounded by linear constraints.
+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.
-If you are new to LinPy, start with the Examples.
+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>`_.
-This is the central page for all of LinPy’s documentation.
+To have an overview of LinPy's features, you may wish to consult the :ref:`tutorial` section.
+For a comprehensive description of its functionalities, see the :ref:`reference` section.