ppl
The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
Installation
To install this package, run one of the following:
Usage Tracking
0.11.2
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
Last Updated
Jul 1, 2015 at 02:09
License
GPL
Total Downloads
224
Version Downloads
224
Supported Platforms
linux-64
linux-32