The Parma Polyhedra Library: a library of numerical abstractions - View it on GitHub