sympy<2,>=1.12
pyyaml>=6

[all]
mathema[coverage,mcp,numpy,smt]

[coverage]
coverage>=7

[dev]
build>=1
twine>=5
pre-commit>=3
ruff>=0.6
mypy>=1.8

[docs]
mkdocs>=1.6
mkdocs-material>=9.5
mkdocstrings[python]>=0.25
mkdocs-llmstxt>=0.2

[mcp]
mcp<3,>=1.2

[numpy]
numpy

[smt]
z3-solver>=4.12

[symbology]
mathema-symbology

[test]
pytest>=7
pytest-xdist>=3
pytest-cov>=7
mathema[coverage,numpy]

[test:python_version < "3.11"]
tomli>=2
