A wrapper for isl - the Integer Set Library for manipulating sets and relations of integer points bounded by linear constraints. - View it on GitHub