1 files changed, 26 insertions, 0 deletions
diff --git a/libs/isl/DETAILS b/libs/isl/DETAILS
new file mode 100755
index 0000000000..c546affb1d
--- /dev/null
+++ b/libs/isl/DETAILS
@@ -0,0 +1,26 @@
+           SPELL=isl
+         VERSION=0.13
+          SOURCE="${SPELL}-${VERSION}.tar.xz"
+   SOURCE_URL[0]=http://${SPELL}.gforge.inria.fr/${SOURCE}
+     SOURCE_HASH=sha512:08cbcefc671be7754ec8ab17695d960bc2340df06d8c16143530f24b38dc1d0bc1ed095ba4f8c1c61d99739224ce2d8b07a648953026fef5bdd4f390d6fe3b43
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+        WEB_SITE="http://isl.gforge.inria.fr/"
+      LICENSE[0]="MIT"
+         ENTERED=20140917
+        KEYWORDS=""
+           SHORT="Integer Set Library"
+cat << EOF
+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 project page, the online user manual (html) or the complete manual
+(pdf). For an introduction to the underlying concepts, see the first part
+of the presentation Integer sets and relations: from high-level modeling to
+low-level implementation . The barvinok package contains an iscc calculator
+that exposes some of the operations supported by isl.
+EOF