          MODULE=ppl
         VERSION=1.2
          SOURCE=$MODULE-$VERSION.tar.xz
      SOURCE_URL=https://support.bugseng.com/ppl/download/ftp/releases/$VERSION/
      SOURCE_VFY=sha256:691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
        WEB_SITE=https://www.bugseng.com/content/parma-polyhedra-library
         ENTERED=20090426
         UPDATED=20241228
           SHORT="The Parma Polyhedra Library (PPL)"

cat << EOF
The Parma Polyhedra Library (PPL) provides numerical abstractions
especially targeted at applications in the field of analysis and
verification of complex systems. These abstractions include convex
polyhedra, defined as the intersection of a finite number of (open
or closed) halfspaces, each described by a linear inequality (strict
or non-strict) with rational coefficients; some special classes of
polyhedra shapes that offer interesting complexity/precision tradeoffs;
and grids which represent regularly spaced points that satisfy a set of
linear congruence relations. The library also supports finite powersets
and products of (any kind of) polyhedra and grids and a mixed integer
linear programming problem solver using an exact-arithmetic version
of the simplex algorithm. (More details are available on the PPL's
internal mechanisms.)
EOF
