PyPI page
Home page
Author:
Phillip Schanely
License:
MIT
Summary:
Analyze Python code for correctness using symbolic execution.
Latest version:
0.0.78
Required dependencies:
importlib-metadata
|
numpy
|
packaging
|
pygls
|
typeshed-client
|
typing-extensions
|
typing-inspect
|
z3-solver
Optional dependencies:
autodocsumm
|
black
|
deal
|
icontract
|
isort
|
mypy
|
pre-commit
|
pytest
|
pytest-xdist
|
setuptools
|
sphinx
|
sphinx-rtd-theme
|
wheel
Downloads last day:
4,815
Downloads last week:
11,485
Downloads last month:
55,922