pyparsing>=2.4.0
z3-solver
pydotplus

[test]
black
coverage
flake8
isort
mypy
pylint
pyparsing>=2.4.0
z3-solver
pydotplus
