Program
Verification
Book

pplpy

Python wrapper for the Parma Polyhedra Library (PPL)

Links

Repository: https://gitlab.com/videlec/pplpy
Pypi package: https://pypi.org/project/pplpy/

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.