The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
Extracted automatically from Ppl homepage
brew install ppl
This formula has no dependencies.