antlr4-python3-runtime>=4.10
datrie>=0.8.2
grammar_graph>=0.1.0
isla-solver>=0.9.5
pathos>=0.2.9
requests>=2.28.1
toml>=0.10.2
z3-solver>=4.10.2.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
pythonping>=1.1.2
scapy>=2.4.5
