# Dependencies
typing_extensions
z3-solver==4.12.2.0

# Linters
black
pyright
ruff

# Toolchain
auditwheel
build
patchelf
twine
wheel

# Testing
asv
pympler
pytest

# Documentation
sphinx
