pplpy

Python wrapper for the Parma Polyhedra Library (PPL)
Library Python

Links

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.