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`