Parma Polyhedra Library: numerical abstractions for analysis, verification
http://bugseng.com/products/ppl Also known as: ppl@1.2

Current version

ppl requires the following formulae to be installed:
xz 5.2.3 General-purpose data compression with high compression ratio
gmp 6.1.2 GNU multiple precision arithmetic library

Formula history

Maxime Arthaud ppl: give full path to gmp (#2696)
Alex Dunn ppl 1.2
Francois Berenger ppl 1.1 (new formula)
Adam Vandenberg Remove ppl