          MODULE=isl
         VERSION=0.28
          SOURCE=$MODULE-$VERSION.tar.xz
      SOURCE_URL=https://libisl.sourceforge.io
     SOURCE_VFY=sha256:3dc31b8e1b18329e42d5dfbf84dd55e15c59b61569a2ab246f61497d9592f727
        WEB_SITE=https://libisl.sourceforge.io/
         ENTERED=20150831
         UPDATED=20260712
           SHORT="A library for sets and relations of integer points"

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.
EOF
