PyPI page
Home page
Author:
Viper Team
Summary:
Static verifier for Python 3, based on Viper
Latest version:
1.3.1
Required dependencies:
jpype1
|
mypy
|
toposort
|
z3-solver
Optional dependencies:
mcp
|
pygls
|
pytest
|
pyzmq
Downloads last day:
67
Downloads last week:
334
Downloads last month:
2,217
7-day smoothing