Commit 6df5fa10 authored by zrahimi's avatar zrahimi


parent a64de806
No preview for this file type
......@@ -2,7 +2,7 @@
# -*- coding: utf-8 -*-
Created on Wed Jan 23 15:04:00 2019
Submitted code for cav 2019
Submitted code for nips19
converting reluplex nn format to our neural network method format
@author: zahra
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment