z3-solver==4.15.3.0
pydantic==2.12.5
immutables==0.20
numpy>=2.1.0
numba==0.64.0

[dev]
pytest>=7.0
pytest-asyncio>=0.21.0
pytest-timeout>=2.3.1
pytest-xdist>=3.0
pytest-cov>=4.0
ruff>=0.1.0
psutil>=5.9.0
hypothesis>=6.0
rich>=13.0.0
