Skip to content
  • miwi's avatar
    isl is a library for manipulating sets and relations of integer points · 1a4c9a22
    miwi authored
    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.
    
    WWW: http://isl.gforge.inria.fr/
    
    PR:		ports/187143
    Submitted by:	Gea-Suan Lin <gslin@gslin.org>
    1a4c9a22