sympy>=1.12.0

[dev]
pytest>=9.0.3
pytest-cov>=4.0.0
pytest-xdist>=3.8.0
pytest-timeout>=2.3
click>=8.3.3
pygments>=2.20.0
urllib3>=2.7.0
ruff==0.16.5
mypy==2.3.1
pre-commit>=3.0.0
types-requests
types-setuptools
z3-solver>=4.15.0
mutmut==3.7.0
