The Parma Polyhedra Library for numerical analysis of complex systems
