Library for manipulating sets and relations of integer points bounded by linear constraints (mingw-w64) (repack of MINGW-packages isl for UCRT64)
conda install main::ucrt64-isl