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

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

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

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Try Free

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
Spire
Powerful new number types and numeric abstractions for Scala
MASVS
The OWASP MASVS (Mobile Application Security Verification Standard)