reluplex Implementation of the reluplex algorithm Full explanation of algorithm https://medium.com/@mattdaw7/implementation-details-of-reluplex-an-efficient-smt-solver-for-verifying-deep-neural-networks-379ea359c41a Original paper https://arxiv.org/abs/1702.01135 Installation pip install -r requirements.txt Usage python main.py