PyPI page
Home page
Author:
Viper Team
License:
MPL-2.0
Summary:
Static verifier for Python 3, based on Viper.
Latest version:
1.2.0
Required dependencies:
astunparse
|
jpype1
|
mypy
|
pytest
|
toposort
|
typed-ast
|
z3-solver
Downloads last day:
3
Downloads last week:
25
Downloads last month:
102