antlr4-python3-runtime>=4.10
datrie>=0.8.2
grammar_to_regex>=0.0.2
grammar_graph>=0.1.10
packaging>=21.3
pathos>=0.2.9
proxyorderedset>=0.3.0
wheel>=0.37.1
z3-solver>=4.8.17.0

[dev]
setuptools-antlr>=0.4.0
build>=0.8.0
twine>=4.0.1

[test]
docutils>=0.18.1
matplotlib>=3.5.3
pytest-cov>=3.0.0
pytest-html>=3.1.1
pytest-profiling>=1.7.0
pytest-pycharm>=0.7.0
pytest-randomly>=3.12.0
pytest-rerunfailures>=10.2
pytest-xdist>=2.4.0
pytest>=7.1.2
tox>=3.25.0
