V

vnncomp_automation

Code for the automation of the VNN-COMP, used in 2022