This program is for neural network falsification and it is based on Matlab R2018a
- A random nnet(3x7x7x7x7x7x7x2, relu): "nnetVerificationSimulation\examples\random_nnet\main.m"
- Reluplex(5x50x50x50x50x50x50x5, relu): "nnetVerificationSimulation\examples\reluplex\p3\N1_3\main.m"
- Reluplex(5x50x50x50x50x50x50x5, relu): "nnetVerificationSimulation\examples\reluplex\p4\N3_7\main.m"
- Feedforawrd nnet for Mnist(784x500x500x10, relu): "nnetVerificationSimulation\examples\mnist\ffnn_mnist\main.m"