NNequivCheck_SMT This repo contains the experiments for the paper "On Neural Network Equivalence Checking using SMT Solvers"