Die Parma Polyhedra Library ist benutzerfreundlich, vollständig dynamisch, in Standard-C++ geschrieben, Exception-sicher, effizient und umfassend dokumentiert. (non)