/examples/mnist/

• ../
• mnist.py
• mnist_argmax.vnnlib
• mnist_epsilon.vnnlib
• mnist_strict.vnnlib