Fix error message in Domain.plot()
[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.ensmp.fr/git/linpy.git>`_.
10
11 To have an overview of LinPy's functionalities, you may wish to consult the :ref:`examples` section.
12
13 .. only:: html
14
15 Contents:
16
17 .. toctree::
18 :maxdepth: 2
19
20 install.rst
21 examples.rst
22 reference.rst
23
24 .. only:: html
25
26 Indices and tables
27 ==================
28
29 * :ref:`genindex`
30 * :ref:`search`