]> 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!
 =================================
 
-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::