nnv-rs 0.6.1

Verification and Statistics on Deep Neural Networks