Integer Set Library

isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction. For more information see the project page, the online user manual (html) or the complete manual (pdf). The barvinok package contains an iscc calculator that exposes some of the operations supported by isl.

isl is released under LGPLv2.1

See the git repository for the latest development version.

For bug reports, feature requests and questions,

isl Development

Visit this group

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 isl-0.01.tar.bz2        10-Mar-2010 16:50  468K  
 isl-0.01.tar.gz         10-Mar-2010 16:50  543K  
 isl-0.01.tar.lzma       10-Mar-2010 16:50  403K  
 isl-0.02.tar.bz2        10-Mar-2010 16:43  560K  
 isl-0.02.tar.gz         10-Mar-2010 16:44  644K  
 isl-0.02.tar.lzma       10-Mar-2010 16:44  481K  
 manual.pdf              14-Mar-2010 09:48  219K  
 user.html               14-Mar-2010 09:45   67K

Apache/2.0.49 (Unix) mod_fastcgi/2.4.2 Server at garage.linux.student.kuleuven.be Port 80