Metadata-Version: 2.1
Name: svpy
Version: 0.1
Summary: svpy: Software Verification Explained in Python
Home-page: https://gitlab.com/sosy-lab/software/svpy
Author: Martin Spiessl
Author-email: UNKNOWN
License: Apache-2.0
Keywords: software verification
Platform: Linux
Classifier: Development Status :: 1 - Planning
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Software Development :: Testing
Requires-Dist: astunparse
Requires-Dist: astpretty
Requires-Dist: graphviz

UNKNOWN


