Home | History | Annotate | Line # | Download | only in dist
README revision 1.1 
      1  1.1  mrg isl is a thread-safe C library for manipulating sets and relations
      2  1.1  mrg of integer points bounded by affine constraints.  The descriptions of
      3  1.1  mrg the sets and relations may involve both parameters and existentially
      4  1.1  mrg quantified variables.  All computations are performed in exact integer
      5  1.1  mrg arithmetic using GMP.
      6  1.1  mrg 
      7  1.1  mrg isl is released under the MIT license, but depends on the LGPL GMP
      8  1.1  mrg library.
      9  1.1  mrg 
     10  1.1  mrg Minimal compilation instructions:
     11  1.1  mrg 
     12  1.1  mrg 	./configure
     13  1.1  mrg 	make
     14  1.1  mrg 	make install
     15  1.1  mrg 
     16  1.1  mrg If you are taking the source from the git repository, then you first
     17  1.1  mrg need to do
     18  1.1  mrg 
     19  1.1  mrg 	git clone git://repo.or.cz/isl.git
     20  1.1  mrg 	./autogen.sh
     21  1.1  mrg 
     22  1.1  mrg For more information, see doc/user.pod or the generated documentation.
     23  1.1  mrg 
     24  1.1  mrg New releases are announced on http://groups.google.com/group/isl-announce
     25  1.1  mrg 
     26  1.1  mrg If you use isl, you can let me know by stacking
     27  1.1  mrg https://www.openhub.net/p/isl on Open Hub.
     28  1.1  mrg 
     29  1.1  mrg For bug reports, feature requests and questions,
     30  1.1  mrg contact http://groups.google.com/group/isl-development
     31  1.1  mrg 
     32  1.1  mrg Whenever you report a bug, please mention the exact version of isl
     33  1.1  mrg that you are using (output of "./isl_cat --version").  If you are unable
     34  1.1  mrg to compile isl, then report the git version (output of "git describe")
     35  1.1  mrg or the version included in the name of the tarball.
     36  1.1  mrg 
     37  1.1  mrg If you use isl for your research, you are invited do cite
     38  1.1  mrg the following paper and/or the paper(s) describing the specific
     39  1.1  mrg operations you use.
     40  1.1  mrg 
     41  1.1  mrg @incollection{Verdoolaege2010isl,
     42  1.1  mrg    author = {Verdoolaege, Sven},
     43  1.1  mrg    title = {isl: An Integer Set Library for the Polyhedral Model},
     44  1.1  mrg    booktitle = {Mathematical Software - ICMS 2010},
     45  1.1  mrg    series = {Lecture Notes in Computer Science},
     46  1.1  mrg    editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and
     47  1.1  mrg 		Takayama, Nobuki},
     48  1.1  mrg    publisher = {Springer},
     49  1.1  mrg    isbn = {978-3-642-15581-9},
     50  1.1  mrg    pages = {299-302},
     51  1.1  mrg    volume = {6327},
     52  1.1  mrg    year = {2010}
     53  1.1  mrg }
     54