grammar_graph>=0.1.0
proxyorderedset>=0.3.0
pydot>=1.4.2
wheel>=0.37.1
z3-solver>=4.8.17.0

[test]
fuzzingbook>=1.1
pytest-cov>=3.0.0
pytest-forked>=1.3.0
pytest-html>=3.1.1
pytest-profiling>=1.7.0
pytest-pycharm>=0.7.0
pytest-rerunfailures>=10.2
pytest-xdist>=2.4.0
pytest>=7.1.2
