sympy>=1.6.2
dd>=0.5.6
numpy>=1.19.4
python_igraph>=0.9.6
scikit_learn>=0.24.2
pandas>=1.2.2
more_itertools>=8.8.0
z3-solver>=4.8.14.0
