Package Insights
((week_daily_avg - month_daily_avg) / month_daily_avg) * 100Weekly Downloads
GitHub Stars
Downloads by OS
Python Versions
Top Countries
Dependencies
- z3-solver >=4.12
14 optional dependencies
- hypothesis[hypothesis]
- hypothesis[dev]
- mkdocs-autorefs[docs]
- mkdocs-autorefs[dev]
- mkdocs-material[docs]
- mkdocs-material[dev]
- mkdocstrings[docs]
- mkdocstrings[dev]
- mypy[dev]
- pytest[dev]
- pytest-asyncio[dev]
- pytest-cov[dev]
- pytest-timeout[dev]
- ruff[dev]