pm4py<3.0,>=2.7
pandas>=2.0
numpy>=2.0
networkx>=3.0
scipy>=1.10
matplotlib>=3.8
lxml>=5.0
tqdm>=4.66
graphviz>=0.20
cvxopt>=1.3
z3-solver>=4.12
