z3-solver
certifi>=2026.10.19

[dev]
pytest

[docs]
mkdocs>=1.6
mkdocs-material>=9.5
