Unsupported Clip Operator for onnx files #893
Description
When parsing a onnx file with clip operations I get Operation Clip not implemented. In the same spirit as #808, it seems like it's merely that the clip operation is not supported in the parser. But it appears to be supported elsewhere in marabou. Is this a quick fix? Or is there a way I can go in and patch my ONNXParser.py file to add support for this? I'd prefer not to encode all my clips as ReLUs, since marabou already knows how to do that