ezaffanella / PPLite

PPLite: convex polyhedra library for Abstract Interpretation
25Updated last month

Alternatives and similar repositories for PPLite:

Users that are interested in PPLite are comparing it to the libraries listed below