PyPI page
Home page
Author:
Phillip Schanely
License:
MIT
Summary:
Analyze Python code for correctness using symbolic execution.
Latest version:
0.0.54
Required dependencies:
importlib-metadata
|
numpy
|
packaging
|
pygls
|
typeshed-client
|
typing-extensions
|
typing-inspect
|
z3-solver
Optional dependencies:
autodocsumm
|
black
|
deal
|
hypothesis
|
icontract
|
isort
|
mypy
|
pre-commit
|
pydantic
|
pytest
|
pytest-xdist
|
sphinx
|
sphinx-rtd-theme
|
types-pkg-resources
|
wheel
Downloads last day:
149
Downloads last week:
2,049
Downloads last month:
9,860