z3-solver

[dev]
pytest

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