sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,376 Commits
1 Branch
0 Tags
624 MiB
Commit Graph

1 Commits (2cd2f272cffa034aed1236eff6f2ebf82627bf97)

Author SHA1 Message Date
David Höppner facc5a3bf8 The Parma Polyhedra Library 
The Parma Polyhedra Library (PPL) provides numerical abstractions especially
targeted at applications in the field of analysis and verification of complex
systems.
 2010-01-30 14:18:04 +01:00