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.
| Licenses | LGPL |
|---|---|
| Implementation | C |
Recent releases


Release Notes: This release mainly brings improved argument parsing and improved support for parameter sets.


Release Notes: This release makes an explicit distinction between spaces of maps, sets, and parameter sets. It also introduces identifiers and multi-quasi-affine expressions.


Release Notes: This release mainly adds support for piecewise quasi-affine expressions.


Release Notes: This release mainly features an improved parser and some changes to the API that improve consistency.


Release Notes: This release fixes a bug in the parametric integer programming symmetry detection.
A CPANPLUS plugin to install Perl distributions on Slackware Linux.