Error: incompatible constructor arguments in Disjunction Constraint Example

[slutz14]

Hello,
I followed the example found here except that I load the network from a onnx- instead of nnet-file.

When runing the code, I get the following error Code:

---

TypeError Traceback (most recent call last)

in <cell line: 0>()
----> 1 vals1, stats1 = net1.solve()

1 frames

/usr/local/lib/python3.11/dist-packages/maraboupy/parsers/InputQueryBuilder.py in getInputQuery(self)
331 converted_disjunct = []
332 for e in disjunct:
--> 333 eq = MarabouCore.Equation(e.EquationType)
334 for (c, v) in e.addendList:
335 assert v < self.numVars

TypeError: init(): incompatible constructor arguments. The following argument types are supported:
1. maraboupy.MarabouCore.Equation()
2. maraboupy.MarabouCore.Equation(arg0: maraboupy.MarabouCore.Equation.EquationType)

Invoked with: <class 'maraboupy.MarabouCore.Equation.EquationType'>

[tempate]

Hello, I am getting the exact same error. Did you manage to solve it @slutz14?

[paulsushmita]

Hi,

Not the same issue but I'm still facing one.
I guess the file/code you are following is an old one.

You can follow the code as directed in #881. Please let me know if it works for any of you, so I can check it as well with the potential fix.

[slutz14]

Hello, I am getting the exact same error. Did you manage to solve it @slutz14?

I also imported MarabouUtils and used the Equation class defined there.
So
eq1 = MarabouUtils.Equation(MarabouCore.Equation.EQ);

This solved it for me

[paulsushmita]

@slutz14 What is the version of Marabou and/or maraboupy for you? Or which commit ID is the repo checked out with?

[tempate]

I also imported MarabouUtils and used the Equation class defined there. So eq1 = MarabouUtils.Equation(MarabouCore.Equation.EQ);

This solved it for me

Thank you very much. Using MarabouUtils solved it for me as well.

[tempate]

@slutz14 What is the version of Marabou and/or maraboupy for you? Or which commit ID is the repo checked out with?

I am using 2.0.0.