ppl

Parma Polyhedra Library: numerical abstractions for analysis, verification

https://bugseng.com/ppl

Current versions:

stable 1.2
bottle 🍾 high_sierra, sierra, el_capitan, yosemite, mavericks

Depends on:

gmp 6.1.2 GNU multiple precision arithmetic library

JSON API for ppl

Formula code on GitHub

Fork me on GitHub