Library for manipulating sets and relations of integer points bounded by linear constraints (repack of MSYS2-packages isl for MSYS)