0

I'm trying out Marabou tool and the provided examples in https://neuralnetworkverification.github.io/Marabou/Examples/0_NNetExample.html

The NNet Example throws the following error. How could that be fixed?

Traceback (most recent call last):

  File "0_NNetExample.py", line 35, in <module>

    net1.setLowerBound(net1.outputVars[0][0], .5)

  File "/home/user/verification/Marabou/maraboupy/MarabouNetwork.py", line 99, in setLowerBound

    self.lowerBounds[x]=v

TypeError: unhashable type: 'numpy.ndarray'

An expected behavior is the executed .py .

monade
  • 1
  • 1

0 Answers0