README

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