The Parma Polyhedra Library. Used by gcc for loop optimization.