author: kx <kx@radix.pro> 2023-04-09 03:24:10 +0300
committer: kx <kx@radix.pro> 2023-04-09 03:24:10 +0300
commit: 3dd1914515dc5c714451bc4148f0abb51672ed06
parent: c0eee091446a07e56576b7d855dd09f0da9968c8
Commit Summary:
Diffstat:
1 file changed, 11 insertions, 0 deletions
diff --git a/packages/l/isl/isl-description.txt b/packages/l/isl/isl-description.txt
new file mode 100644
index 0000000..00be865
--- /dev/null
+++ b/packages/l/isl/isl-description.txt
@@ -0,0 +1,15 @@
+
+http://freecode.com/projects/isl
+================================
+
+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 and operations
+geared towards polyhedral compilation such as dependence analysis, scheduling, and AST generation.
+
+Download
+========
+
+ http://isl.gforge.inria.fr/
+ https://libisl.sourceforge.io/