PPLite is a C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.
Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
---|---|---|---|---|---|
0.7-bp155.1.7 info | GA Release | 2023-05-17 | 15 SP5 |
|
|