fee1edfc429175c6c387975f52d872c62e760b33
[linpy.git] / doc / index.rst
1
2 Welcome to LinPy’s documentation!
3 =================================
4
5 LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_.
6 Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
7
8 LinPy is a free software, licensed under the `GPLv3 license <http://www.gnu.org/licenses/gpl-3.0.txt>`_.
9 Its source code is available `here <https://scm.cri.mines-paristech.fr/git/linpy.git>`_.
10
11 To have an overview of LinPy's features, you may wish to consult the :ref:`tutorial` section.
12 For a comprehensive description of its functionalities, see the :ref:`reference` section.
13
14 .. only:: html
15
16 Contents:
17
18 .. toctree::
19 :maxdepth: 2
20
21 install.rst
22 tutorial.rst
23 reference.rst
24
25 .. only:: html
26
27 Indices and tables
28 ==================
29
30 * :ref:`genindex`
31 * :ref:`search`