z3-solver>=4.11.0
hydra-core>=1.2.0
hydra-colorlog>=1.2.0
multipledispatch>=0.6.0
appdirs>=1.4.4
numpy

[onnx]
torch
onnx

[onnxruntime]
onnxruntime
torch
onnx

[tensorflow]
tf-nightly

[torch]
torch

[tvm]
apache-tvm
torch
onnx
