AttributeError: 'maraboupy.MarabouCore.InputQuery' object has no attribute 'push'
Opened this issue · 0 comments
tflinkow commented
When trying to simply run 6_IncrementalSolvingExample.py on Python 3.10.12 with maraboupy-2.0.0, I get the following error:
AttributeError: 'maraboupy.MarabouCore.InputQuery' object has no attribute 'push'
The documentation for maraboupy.MarabouCore.InputQuery also doesn't list a push() member function.