a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints.
conda install anaconda-python-gte-3.10::isl