networkx>=2.5
z3-solver>=4.8.9.0
