Ondokuz / libisl19

manipulating sets and relations of integer points bounded by linear constraints