z3-solver>=4.11.0
networkx>=2.6.3
hydra-core>=1.1.0
hydra_colorlog
multipledispatch
appdirs

[onnx]
onnx

[ort]
onnxruntime

[tf]
tf-nightly

[torch]
torch

[tvm]
apache-tvm
