Pplppl


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
Homepage
http://bugseng.com/products/ppl
Version
Unavailable

Install Ppl

brew install ppl

Dependencies0

This formula has no dependencies.