numpy>=1.22,<1.26
networkx>3.0
z3-solver
quimb>=1.4.0
autoray>=0.6.0
opt_einsum>=3.2
matplotlib
