--- /dev/null
+.. _installation:
+
+Installation
+------------
+
+Dependencies
+============
+
+Users will first need to install Integer Set Library (isl). The source files of isl are available as a tarball or a git repository. Both
+are available `here`_ .
+
+Source
+======
+
+Git
+===
+
+
+.. _here: http://freshmeat.net/projects/isl/