libpplite4
Library for computations with polyhedra

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

GPL-3.0-or-later

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...