X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/7b93cea1daf2889e9ee10ca9c22a1b5124404937..50f0fde4dca3f10e535314b1c9d325cd9283735b:/doc/index.rst?ds=sidebyside diff --git a/doc/index.rst b/doc/index.rst index c5fe0b4..b3a9271 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -6,12 +6,12 @@ Welcome to LinPy’s documentation! ================================= -LinPy is a Python library for symbolic mathematics. +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. + If you are new to LinPy, start with the Examples. This is the central page for all of LinPy’s documentation. - Contents: .. toctree::