├── LICENSE ├── README.md ├── images ├── pca │ └── run3022805014702275039_problem=data_dir=dimacs_to_visualize_npb=10000_nb=47_num=1_nr=26_rand=0_seed=0_size=400 │ │ └── pca_t25.png ├── problems │ ├── domset_k4_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg │ ├── kclique_k5_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg │ ├── kcolor_k5_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg │ ├── kcover_k6_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg │ ├── satrand_n=200_pk2=0.30_pg=0.40_t=0_sat=1.dimacs.dot.svg │ ├── satrand_n=40_pk2=0.30_pg=0.40_t=0_sat=1.dimacs.dot.svg │ └── satrand_n=40_pk2=0.30_pg=0.40_t=1_sat=1.dimacs.dot.svg └── runs │ └── run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10 │ ├── round_t1.png │ ├── round_t10.png │ ├── round_t11.png │ ├── round_t12.png │ ├── round_t13.png │ ├── round_t14.png │ ├── round_t15.png │ ├── round_t16.png │ ├── round_t17.png │ ├── round_t18.png │ ├── round_t19.png │ ├── round_t2.png │ ├── round_t20.png │ ├── round_t21.png │ ├── round_t22.png │ ├── round_t23.png │ ├── round_t24.png │ ├── round_t24_rot.png │ ├── round_t3.png │ ├── round_t4.png │ ├── round_t5.png │ ├── round_t6.png │ ├── round_t7.png │ ├── round_t8.png │ └── round_t9.png ├── python ├── confusion.py ├── dimacs_to_data.py ├── gen_sr_dimacs.py ├── mk_problem.py ├── mlp.py ├── neurosat.py ├── options.py ├── problems_loader.py ├── solve.py ├── solver.py ├── test.py ├── train.py └── util.py └── scripts ├── setup.sh ├── toy_gen_data.sh ├── toy_pipeline.sh ├── toy_solve.sh ├── toy_test.sh └── toy_train.sh /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/README.md -------------------------------------------------------------------------------- /images/pca/run3022805014702275039_problem=data_dir=dimacs_to_visualize_npb=10000_nb=47_num=1_nr=26_rand=0_seed=0_size=400/pca_t25.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/pca/run3022805014702275039_problem=data_dir=dimacs_to_visualize_npb=10000_nb=47_num=1_nr=26_rand=0_seed=0_size=400/pca_t25.png -------------------------------------------------------------------------------- /images/problems/domset_k4_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/problems/domset_k4_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg -------------------------------------------------------------------------------- /images/problems/kclique_k5_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/problems/kclique_k5_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg -------------------------------------------------------------------------------- /images/problems/kcolor_k5_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/problems/kcolor_k5_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg -------------------------------------------------------------------------------- /images/problems/kcover_k6_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/problems/kcover_k6_graph=forest_fire_n10_p75_t10.gml.dimacs.dot.svg -------------------------------------------------------------------------------- /images/problems/satrand_n=200_pk2=0.30_pg=0.40_t=0_sat=1.dimacs.dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/problems/satrand_n=200_pk2=0.30_pg=0.40_t=0_sat=1.dimacs.dot.svg -------------------------------------------------------------------------------- /images/problems/satrand_n=40_pk2=0.30_pg=0.40_t=0_sat=1.dimacs.dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/problems/satrand_n=40_pk2=0.30_pg=0.40_t=0_sat=1.dimacs.dot.svg -------------------------------------------------------------------------------- /images/problems/satrand_n=40_pk2=0.30_pg=0.40_t=1_sat=1.dimacs.dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/problems/satrand_n=40_pk2=0.30_pg=0.40_t=1_sat=1.dimacs.dot.svg -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t1.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t10.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t10.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t11.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t11.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t12.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t12.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t13.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t13.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t14.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t14.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t15.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t15.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t16.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t17.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t17.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t18.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t18.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t19.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t19.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t2.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t20.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t20.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t21.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t21.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t22.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t22.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t23.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t23.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t24.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t24.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t24_rot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t24_rot.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t3.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t4.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t5.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t6.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t7.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t8.png -------------------------------------------------------------------------------- /images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t9.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/images/runs/run3022805014702275039_problem=data_dir=simple_n20_npb=0_nb=200_nr=40_rand=0_seed=0_t=1.pkl_v60_axis0_dpi10/round_t9.png -------------------------------------------------------------------------------- /python/confusion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/confusion.py -------------------------------------------------------------------------------- /python/dimacs_to_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/dimacs_to_data.py -------------------------------------------------------------------------------- /python/gen_sr_dimacs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/gen_sr_dimacs.py -------------------------------------------------------------------------------- /python/mk_problem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/mk_problem.py -------------------------------------------------------------------------------- /python/mlp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/mlp.py -------------------------------------------------------------------------------- /python/neurosat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/neurosat.py -------------------------------------------------------------------------------- /python/options.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/options.py -------------------------------------------------------------------------------- /python/problems_loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/problems_loader.py -------------------------------------------------------------------------------- /python/solve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/solve.py -------------------------------------------------------------------------------- /python/solver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/solver.py -------------------------------------------------------------------------------- /python/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/test.py -------------------------------------------------------------------------------- /python/train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/train.py -------------------------------------------------------------------------------- /python/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/python/util.py -------------------------------------------------------------------------------- /scripts/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/scripts/setup.sh -------------------------------------------------------------------------------- /scripts/toy_gen_data.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/scripts/toy_gen_data.sh -------------------------------------------------------------------------------- /scripts/toy_pipeline.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/scripts/toy_pipeline.sh -------------------------------------------------------------------------------- /scripts/toy_solve.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/scripts/toy_solve.sh -------------------------------------------------------------------------------- /scripts/toy_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/scripts/toy_test.sh -------------------------------------------------------------------------------- /scripts/toy_train.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dselsam/neurosat/HEAD/scripts/toy_train.sh --------------------------------------------------------------------------------