The Parma Polyhedra Library

A library of numerical abstractions for software/hardware verification

Brought to you by: bagnara

Add a Review

Downloads: 0 This Week

Last Update: 2016-02-11

Browse Code

Get an email when there's a new version of The Parma Polyhedra Library

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.

Project Activity

See All Activity >

Follow The Parma Polyhedra Library

The Parma Polyhedra Library Web Site

Other Useful Business Software

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free

Rate This Project

User Reviews

Be the first to post a review of The Parma Polyhedra Library!

Additional Project Details

Registered

2006-01-24

Report inappropriate content

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

Recommended Projects

Polyhedra
Polyhedral Computation Interface
Amiga
Here you'll find several Open Source Software ported/compiled for AmigaOS (and compatible systems). This project was created with the aim to give support to the ppl who don't have the time/compiler to do it for itself since most stuff compiles OOTB
Pyro
Deep universal probabilistic programming with Python and PyTorch
Tea Time Numerical Analysis
A Numerical Analysis textbook
MASVS
The OWASP MASVS (Mobile Application Security Verification Standard)