click==8.1.6
colorama==0.4.5
coverage==6.5.0
coverage-badge==1.1.0
dicttoxml2==2.1.0
lark==1.1.7
pydot==1.4.2
pyfiglet==0.7.6
pytest==7.2.0
rich==13.5.1
termcolor==2.3.0
typer==0.9.0
xmlschema==2.1.1
z3-solver==4.12.2.0
