3dd19145 (kx 2023-04-09 03:24:10 +0300 1)
3dd19145 (kx 2023-04-09 03:24:10 +0300 2) http://freecode.com/projects/isl
3dd19145 (kx 2023-04-09 03:24:10 +0300 3) ================================
3dd19145 (kx 2023-04-09 03:24:10 +0300 4)
3dd19145 (kx 2023-04-09 03:24:10 +0300 5) isl is a library for manipulating sets and relations of integer points bounded by linear constraints.
3dd19145 (kx 2023-04-09 03:24:10 +0300 6) Supported operations on sets include intersection, union, set difference, emptiness check, convex hull,
3dd19145 (kx 2023-04-09 03:24:10 +0300 7) (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric
3dd19145 (kx 2023-04-09 03:24:10 +0300 8) integer programming. It also includes an ILP solver based on generalized basis reduction and operations
3dd19145 (kx 2023-04-09 03:24:10 +0300 9) geared towards polyhedral compilation such as dependence analysis, scheduling, and AST generation.
3dd19145 (kx 2023-04-09 03:24:10 +0300 10)
3dd19145 (kx 2023-04-09 03:24:10 +0300 11) Download
3dd19145 (kx 2023-04-09 03:24:10 +0300 12) ========
3dd19145 (kx 2023-04-09 03:24:10 +0300 13)
3dd19145 (kx 2023-04-09 03:24:10 +0300 14) http://isl.gforge.inria.fr/
3dd19145 (kx 2023-04-09 03:24:10 +0300 15) https://libisl.sourceforge.io/