ppl - Librería Parma Polyhedra.

La Librería Parma Polyhedra o PPL es una librería C++ para
poliedros convexos y otras abstracciones numéricas.