/xor/

• ../
• xor.py
• xor_a.onnx
• xor_a.onnx.data
• xor_argmax.vnnlib
• xor_b.onnx
• xor_b.onnx.data
• xor_epsilon.vnnlib
• xor_strict.vnnlib