numpy>=1.26.4
onnx>=1.16.2
onnxruntime>=1.20.1
torch>=2.5.1
vnnlib<1.0.0,>=0.0.1
gurobipy<13.0.0,>=12.0.3
