isl: isl (Integer point manipulation library)
isl:
isl: isl is a library for manipulating sets and relations of integer
isl: points bounded by linear constraints.
isl:
isl: Homepage: http://isl.gforge.inria.fr/
isl:
isl:
isl:
isl:
isl: