PyPI page
Home page
Author:
Phillip Schanely
License:
MIT
Summary:
Analyze Python code for correctness using symbolic execution.
Latest version:
0.0.111
Required dependencies:
importlib-metadata
|
packaging
|
pygls
|
typeshed-client
|
typing-extensions
|
typing-inspect
|
z3-solver
Optional dependencies:
autodocsumm
|
black
|
deal
|
flake8
|
flake8-pyproject
|
hypothesis
|
icontract
|
isort
|
mypy
|
numpy
|
pre-commit
|
pytest
|
pytest-xdist
|
rst2pdf
|
setuptools
|
sphinx
|
sphinx-rtd-theme
|
z3-solver
Downloads last day:
21,768
Downloads last week:
135,122
Downloads last month:
313,129
7-day smoothing