z3-solver==4.12.2.0
lark==1.1.7
pyyaml
customtkinter==5.2.0
graphviz==0.20.1

[dev]
build==1.0.3
ipykernel==6.25.2
mkdocs==1.5.3
Pillow
twine

[dev-notebook]
ipykernel==6.25.2
