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 Arthaudppl: give full path to gmp (#2696)
Alex Dunnppl 1.2
Francois Berengerppl 1.1 (new formula)
Adam VandenbergRemove ppl