sortedcontainers>=2.4.0
toml>=0.10.2
z3-solver==4.12.6.0
eth_hash[pysha3]>=0.7.0
rich<14.1.0,>=14.0.0
xxhash>=3.5.0
psutil>=6.1.0
requests>=2.32.3
yices-solver<2.6.5,>=2.6.4
python-dotenv>=1.1.0

[dev]
pre-commit>=4.0.1
pytest>=8.3.4
ruff>=0.8.1
