Python implementation of the SDP described in "Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming" (https://arxiv.org/abs/1903.01287).

python main.py