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

Current versions

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

Recent formula history

ilovezfs Use “squiggly” heredocs.
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

Formula code at GitHub