Parma Polyhedra Library: numerical abstractions for analysis, verification

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_2 GNU multiple precision arithmetic library

Recent formula history

Viktor Szakats ppl: secure url(s)
Vinyl Darkscratch ppl: use mirrors (#23353)
ilovezfs Use “squiggly” heredocs.
Maxime Arthaud ppl: give full path to gmp (#2696)
Alex Dunn ppl 1.2

Formula code at GitHub