Methods to soundly verify deep neural networks - View it on GitHub