NeuralNetworkVerification/Marabou

Bounds inherent in certain constraints should be added in `NetworkParser` not `OnnxParser`

MatthewDaggitt opened this issue · 0 comments

e.g. the lower bound on Relu should be added in NetworkParser.getMarabouQuery rather than OnnxParser.reluEquations. Not a soundness but it means that we won't have to keep setting them again again.