ppl
The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-32/ppl-0.11.2-0.tar.bz2 | conda | 0.11.2 | linux-32 | main | Jul 1, 2015, 02:09 AM | 56.09 MB | 3 | |
linux-64/ppl-0.11.2-0.tar.bz2 | conda | 0.11.2 | linux-64 | main | Jun 24, 2015, 05:34 PM | 71 MB | 221 |