This is your work, valued
apron. Apron Numerical Abstract Domain Library
Zarith. The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
arbogen. a fast uniform random tree generator
AbSolute. Constraint solver based on abstract interpretation
