PyPI page
Home page
Author:
None
License:
MIT
Summary:
Analyze Python code for correctness using symbolic execution.
Latest version:
0.0.110
Required dependencies:
importlib_metadata
|
numpy
|
packaging
|
pygls
|
typeshed-client
|
typing-inspect
|
typing_extensions
|
z3-solver
Optional dependencies:
autodocsumm
|
black
|
deal
|
flake8
|
flake8-pyproject
|
hypothesis
|
icontract
|
isort
|
mypy
|
pre-commit
|
pytest
|
pytest-xdist
|
rst2pdf
|
setuptools
|
sphinx
|
sphinx-rtd-theme
|
z3-solver
Downloads last day:
10,064
Downloads last week:
72,492
Downloads last month:
366,811