The Parma Polyhedra Library.

Homepage:
http://www.cs.unipr.it/ppl/
