Library for manipulating sets and relations of integer points bounded by linear constraints - View it on GitHub