Library for manipulating sets and relations of integer points bounded by linear constraints (mingw-w64)
conda install msys2::m2w64-isl