PyPI page
Home page
Author:
Phillip Schanely
License:
MIT
Summary:
Analyze Python code for correctness using symbolic execution.
Latest version:
0.0.81
Required dependencies:
importlib_metadata
|
numpy
|
packaging
|
pygls
|
typeshed-client
|
typing-inspect
|
typing_extensions
|
z3-solver
Optional dependencies:
autodocsumm
|
black
|
deal
|
icontract
|
isort
|
mypy
|
pre-commit
|
pytest
|
pytest-xdist
|
setuptools
|
sphinx
|
sphinx-rtd-theme
|
wheel
Downloads last day:
3,108
Downloads last week:
28,603
Downloads last month:
73,128