Numerical abstractions for analysis, verification
http://bugseng.com/products/ppl/ This formula is keg-only.
Formula was removed
Last versions were

Revision: 1

ppl@0.11 requires the following formula to be installed:
gmp@4 4.3.2 GNU multiple precision arithmetic library

Recent formula history

FX Coudert ppl@0.11: remove
ilovezfs Use “squiggly” heredocs.
Viktor Szakats ppl@0.11: secure url(s)
FX Coudert ppl@0.11: remove pre-Leopard dependency
FX Coudert ppl@0.11: import homebrew/dupes into core.

Formula code at GitHub