dnnf (pypi): dnnf - dnn property falsification
Keywords: DNN|neural network|falsification|adversarial-attacks|deep-neural-networks|dnnf|dnnv|neural-networks|verification