PyPI Stats

Search

All packages
Top packages

Track packages

crosshair-tool


PyPI page
Home page
Author: Phillip Schanely
License: MIT
Summary: Analyze Python code for correctness using symbolic execution.
Latest version: 0.0.79
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: 240
Downloads last week: 15,496
Downloads last month: 32,888