ppl

Parma Polyhedra Library: numerical abstractions for analysis, verification

Current version:
1.2

Homepage: http://bugseng.com/products/ppl

Dependencies

ppl requires the following formulae to be installed:

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