networkx
numpy
pandas
scipy
matplotlib
pydantic>=2.0
gitpython
tqdm
filelock
pysmt
z3-solver
wfcommons
plotly
kaleido
