The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
https://anaconda.org/asmeurer/ppl/badges/version.svg
https://anaconda.org/asmeurer/ppl/badges/latest_release_date.svg
https://anaconda.org/asmeurer/ppl/badges/latest_release_relative_date.svg
https://anaconda.org/asmeurer/ppl/badges/platforms.svg
https://anaconda.org/asmeurer/ppl/badges/license.svg
https://anaconda.org/asmeurer/ppl/badges/downloads.svg