antlr4-python3-runtime==4.7.1
datrie>=0.8.2
grammar_to_regex>=0.0.2
grammar_graph>=0.1.0
pathos>=0.2.9
proxyorderedset>=0.3.0
wheel>=0.37.1
z3-solver>=4.8.17.0

[dev]
setuptools-antlr>=0.4.0

[test]
docutils>=0.18.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
tox>=3.25.0
