diff options
Diffstat (limited to 'libraries/isl/README')
| -rw-r--r-- | libraries/isl/README | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/libraries/isl/README b/libraries/isl/README new file mode 100644 index 0000000000..342213d403 --- /dev/null +++ b/libraries/isl/README @@ -0,0 +1,8 @@ +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, computings 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. |