jennings>=0.1.0
lark>=1.2

[dev]
pytest
pytest-xdist
pytest-cov
hypothesis
build
black
pylint
py65
pypcode
numpy
egglog<14,>=13
z3-solver
pysidtracker
pygoattracker
pysidwizard
pydefmon

[eqlift]
egglog<14,>=13
z3-solver

[ghidra]
pypcode

[nativeoracle]
pygoattracker
pysidwizard
pydefmon

[oracle]
py65
pysidtracker
zstandard
