CAV 2020 Artifact Evaluation (AE)

This release has all files for the comparisons of NNV, Marabou, Reluval, etc. for the artifact evaluation of the CAV 2020 tool paper submission "NNV: A Tool for the Verification of Deep Neural Networks and Learning-enabled Cyber-Physical Systems"

See also the main repository:

https://github.com/verivital/nnv/tree/cav2020