The Parma Polyhedra Library for numerical analysis of complex systems
http://bugseng.com/products/ppl