importlib-resources>=6.1
jsonpickle>=3.0.3
networkx>=2.6
numpy>=1.23
scipy>=1.10
torch>=1.13
z3-solver>=4.12