Package profile
crosshair-tool
- Summary: Analyze Python code for correctness using symbolic execution.
- Author: Phillip Schanely
- Homepage: https://github.com/pschanely/CrossHair
- Source: https://github.com/pschanely/CrossHair (Repo profile)
- Number of releases: 93
- First release: 0.0.1 on 2020-02-09
- Latest release: 0.0.93 on 2025-06-13
Releases
PyPI Downloads
Dependencies
Crosshair-tool has 21 dependencies, 14 of which optional.| Dependency | Optional |
|---|---|
| importlib_metadata | false |
| packaging | false |
| pygls | false |
| typeshed-client | false |
| typing_extensions | false |
| typing-inspect | false |
| z3-solver | false |
| autodocsumm | true |
| black | true |
| deal | true |
| icontract | true |
| isort | true |
| mypy | true |
| numpy | true |
| pre-commit | true |
| pytest | true |
| pytest-xdist | true |
| rst2pdf | true |
| setuptools | true |
| sphinx | true |
| sphinx-rtd-theme | true |