ppl¶
The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
homepage: https://www.bugseng.com/parma-polyhedra-library
| version | toolchain |
|---|---|
1.2 |
GCCcore/11.3.0 |
1.2 |
GCCcore/6.4.0 |
(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)