ppl@0.11

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

Revision: 1

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