networkx[default]>=3.4.2
z3-solver>=4.13.4.0
