nnv-py A library for analyzing deep neural networks with verification techniques. Install requirements: apt install coinor-libcbc-dev