isl (integer set library) is a portable C library for manipulating sets and relations of integer points bounded by linear constraints. The following operations are supported: * intersection, union, set difference * emptiness check * convex hull * (integer) affine hull * integer projection * computing the lexicographic minimum using parametric integer programming * coalescing * parametric vertex enumeration All computations are performed in exact integer arithmetic using GMP or imath.