networkx
numpy
pandas
scipy
matplotlib
pydantic>=2.0
gitpython
pytest>=7.0.0
pytest-timeout>=2.1.0
mypy>=0.991
tqdm
filelock
pysmt
z3-solver
pygraphviz

[:sys_platform != "win32"]
wfcommons
