z3-solver

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