NeuralNetworkVerification / Marabou

Other
239 stars 86 forks source link

NameError: name 'MarabouNetworkONNX' is not defined. #815

Open YourSaDady opened 1 week ago

YourSaDady commented 1 week ago

Hi! I encounter this NameError when I try to run 2_ONNXExample.py: image

The versions: onnxruntime-1.18.0 onnx-1.16.1 Marabou - Marabou version 2.0.0 [HEAD 215828c] compiled with GCC version 10.2.1 20210130 (Red Hat 10.2.1-11) on Apr 12 2024 00:06:44