NNV3: Expanding Neural Network Verification to New Architectures and Domains

This is the repeatability evaluation for NNV3: The Neural Network Verification Tool. Samuel Sasaki, Anne M. Tumlin, Diego Manzanas Lopez, Muhammad Usama Zubair, Navid Hashemi, Hongchao Zhang, Ben Wooding, Waseem Abbas, and Taylor T. Johnson (http://www.taylortjohnson.com/) VeriVITAL - The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (http://www.VeriVITAL.com) Institute for Software Integrated Systems (ISIS): http://isis.vanderbilt.edu Electrical Engineering and Computer Science (EECS): https://engineering.vanderbilt.edu/eecs/ Vanderbilt University: https://www.vanderbilt.edu/ Source code and latest release: https://github.com/verivital/nnv