Bounds inherent in certain constraints should be added in `NetworkParser` not `OnnxParser`
MatthewDaggitt opened this issue · 0 comments
MatthewDaggitt commented
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.