]> CRI, Mines Paris - PSL - linpy.git/blobdiff - doc/index.rst
Add url to setup.py
[linpy.git] / doc / index.rst
index c5fe0b443ac2a3eb393dc4f32490813fc035ac10..b3a927112f1c690a97573616d3333732a961ff6a 100644 (file)
@@ -6,12 +6,12 @@
 Welcome to LinPy’s documentation!
 =================================
 
 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.
 
 If you are new to LinPy, start with the Examples.
 
 This is the central page for all of LinPy’s documentation.
 
-
 Contents:
 
 .. toctree::
 Contents:
 
 .. toctree::