isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints.
https://anaconda.org/asmeurer/isl/badges/version.svg
https://anaconda.org/asmeurer/isl/badges/latest_release_date.svg
https://anaconda.org/asmeurer/isl/badges/latest_release_relative_date.svg
https://anaconda.org/asmeurer/isl/badges/platforms.svg
https://anaconda.org/asmeurer/isl/badges/license.svg
https://anaconda.org/asmeurer/isl/badges/downloads.svg