About Anaconda Help Download Anaconda

The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.

Type Size Name Uploaded Downloads Labels
conda 27.1 MB | osx-64/ppl-1.1-0.tar.bz2  11 years and 1 month ago 75 main

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.0) Legal | Privacy Policy