Commit a64de806 authored by zrahimi's avatar zrahimi

update

parent 193ae1ee
No preview for this file type
......@@ -4,7 +4,7 @@
Created on Sun Feb 3 21:37:17 2019
@author: zahra
Submitted code for cav 2019
Submitted code for nips19
abstraction nn code
just execute this file, automatically neural12.py would be run
......@@ -275,9 +275,9 @@ for col_num in range(len(columns)):
first_col=[]
path = '/Users/zahra/Documents/Projects/Neural Network coding files/Important Neural network script/main/Final/Experiment/main/Random composition/32/*.txt'
path = '/Users/zahra/Documents/Projects/Neural Network coding files/Important Neural network script/main/Final/Experiment/main/Random composition/8/*.txt'
files = sorted(glob.glob(path))
#'/Users/zahra/Documents/Projects/Neural Network coding files/Important Neural network script/main/Final/Experiment/main/Random composition/32/*.txt
#'/Users/zahra/Documents/Projects/Neural Network coding files/Important Neural network script/main/Final/Experiment/main/Random composition/8/*.txt
for file in files:
N_combin = read_node_combination_file(file)
......
......@@ -4,7 +4,7 @@
Created on Sun Feb 3 19:22:48 2019
@author: zahra
Submitted code for cav 2019
Submitted code for nips19
using groubi for encoding and solving milp
......
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