
[dev]
pytest>=8
yowasp-yosys
antlr4-python3-runtime==4.7.2
z3-solver
sympy
networkx
Semi-ATE-STIL==0.3.2
lark

[docs]
mkdocs>=1.6
mkdocs-material>=9.5
mkdocstrings[python]>=1.0
