
[arena]
swebench>=4.1

[dev]
pytest>=8
pytest-timeout>=2.3
pytest-xdist>=3.5
hypothesis>=6.100
mypy>=1.10
fastapi>=0.110
httpx>=0.27
sympy>=1.12

[mutation]
mutmut<3,>=2.4
coverage>=7

[serve]
fastapi>=0.110

[sim]
femwell>=0.1.12

[triverify]
sympy>=1.12
