PyPI page
Home page
Author:
Martin Spiessl
License:
Apache-2.0
Summary:
svpy: Software Verification Explained in Python
Latest version:
0.1
Required dependencies:
astpretty
|
astunparse
|
graphviz
Downloads last day:
0
Downloads last week:
3
Downloads last month:
11