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 isl (Integer Set Library) 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`