numpy>=1.22
networkx<3.0,>=2.8
z3-solver
tensornetwork>=0.4
