The Parma Polyhedra Library (PPL, http://bugseng.com/products/ppl/) is a modern C++ library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
Follow The Parma Polyhedra Library
Other Useful Business Software
$300 Free Credits to Build on Google Cloud
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of The Parma Polyhedra Library!