| isl is a thread-safe C library for manipulating sets and relations | |
| of integer points bounded by affine constraints. The descriptions of | |
| the sets and relations may involve both parameters and existentially | |
| quantified variables. All computations are performed in exact integer | |
| arithmetic using GMP. | |
| isl is released under the MIT license, but depends on the LGPL GMP | |
| library. | |
| Minimal compilation instructions: | |
| ./configure | |
| make | |
| make install | |
| If you are taking the source from the git repository, then you first | |
| need to do | |
| git clone git://repo.or.cz/isl.git | |
| ./autogen.sh | |
| For more information, see doc/user.pod or the generated documentation. | |
| New releases are announced on http://freecode.com/projects/isl | |
| If you use isl, you can let me know by stacking | |
| https://www.ohloh.net/p/isl on ohloh. | |
| For bug reports, feature requests and questions, | |
| contact http://groups.google.com/group/isl-development | |
| Whenever you report a bug, please mention the exact version of isl | |
| that you are using (output of "./isl_cat --version"). If you are unable | |
| to compile isl, then report the git version (output of "git describe") | |
| or the version included in the name of the tarball. | |
| If you use isl for your research, you are invited do cite | |
| the following paper and/or the paper(s) describing the specific | |
| operations you use. | |
| @incollection{Verdoolaege2010isl, | |
| author = {Verdoolaege, Sven}, | |
| title = {isl: An Integer Set Library for the Polyhedral Model}, | |
| booktitle = {Mathematical Software - ICMS 2010}, | |
| series = {Lecture Notes in Computer Science}, | |
| editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and | |
| Takayama, Nobuki}, | |
| publisher = {Springer}, | |
| isbn = {978-3-642-15581-9}, | |
| pages = {299-302}, | |
| volume = {6327}, | |
| year = {2010} | |
| } |