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