PPLite

PPLite is an open-source C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.

Some information about the PPLite library development, as well as past and current releases, are available in the corresponding github page.