devel/isl/pkg-descr

   1 isl is a library for manipulating sets and relations of integer points
   2 bounded by linear constraints. Supported operations on sets include
   3 intersection, union, set difference, emptiness check, convex hull,
   4 (integer) affine hull, integer projection, computing the lexicographic
   5 minimum using parametric integer programming, coalescing and parametric
   6 vertex enumeration. It also includes an ILP solver based on generalized
   7 basis reduction, transitive closures on maps (which may encode infinite
   8 graphs), dependence analysis and bounds on piecewise step-polynomials.
   9
  10 WWW: http://isl.gforge.inria.fr/