Introduction
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
- computing the lexicographic minimum using parametric integer programming
- coalescing and parametric vertex enumeration.
It also includes:
- an ILP solver based on generalized basis reduction
- transitive closures on maps (which may encode infinite graphs)
- dependence analysis and bounds on piecewise step-polynomials.
For more information see the user manual. For an introduction to the underlying concepts, see Presburger Formulas and Polyhedral Compilation. The barvinok package contains an iscc calculator that exposes some of the operations supported by ISL.
Web Page
Versions
0.18
Flavours
1
Architecture
x86_64
Group
module load site-local
Build Details
Compiled with:
Note this package required modifications to:
- multirobust.c
- rk1imp.c
- rk2imp.c
- rk4imp.c
Usage
module load isl/0.18/1
Example Job Scripts
None required.
Status
Untested.