Pplppl Active


Description

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

Extracted automatically from Ppl homepage
Open new issue
Homepage
http://bugseng.com/products/ppl
Version
1.2
Source file
source file
Hits
75

Install Ppl

brew install ppl

Dependencies 0

This formula has no dependencies.