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