coverage==6.5.0
coverage-badge==1.1.0
colorama==0.4.5
configparser==5.3.0
dicttoxml2==2.1.0
lark==1.1.4
pydot==1.4.2
pytest==7.2.0
typer==0.3.2
xmlschema==2.1.1
z3-solver==4.12.1.0
