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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start 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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start 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)