jennings>=0.8.0
pydexomizer>=0.1
pylibresidfp>=0.1.0
vagrant-moses[cpu]>=0.7.0
numpy>=1.23
scipy>=1.10
networkx>=3
coverage>=7.4
tqdm>=4
lark>=1.1
z3-solver>=4.12

[dev]
black>=24
pylint>=3
pytest>=7
pytest-cov>=4
pytest-xdist>=3
hypothesis>=6
zstandard>=0.21
tqdm>=4

[survey]
zstandard>=0.21
