diff options
author | Jan F. Chadima <jfch@jagda.eu> | 2017-12-03 23:36:30 +0000 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2017-12-09 08:27:19 +0700 |
commit | cda89be7fd7a3ecdc3ea35382624d5f0f377e4e9 (patch) | |
tree | ed266124b50112b313a9a17788e044f5c8c89306 /libraries/isl/README | |
parent | fb9324b1e59c511164417b0d4c74aec5596d04be (diff) | |
download | slackbuilds-cda89be7fd7a3ecdc3ea35382624d5f0f377e4e9.tar.xz |
libraries/isl: Added (Integer point manipulation library).
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
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 000000000000..342213d4039b --- /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. |