1 file changed
+1
-1
lines changedSubmodule AlphaZeroSAT updated 26 files
- .gitignore+3-1
- runs/graph-coloring/flat50-115/model-0/saved
- runs/graph-coloring/flat50-115/result.pkl
- runs/graph-coloring/flat50-115/result.pkl.hist
- runs/graph-coloring/flat50-115/status.pkl
- runs/graph-coloring/flat50-115/status.pkl.hist
- runs/uniform-random-3-sat/uf100-430/model-0/saved
- runs/uniform-random-3-sat/uf100-430/result.pkl
- runs/uniform-random-3-sat/uf100-430/result.pkl.hist
- runs/uniform-random-3-sat/uf100-430/status.pkl
- runs/uniform-random-3-sat/uf100-430/status.pkl.hist
- runs/uniform-random-3-sat/uf50-218/model-0/saved
- runs/uniform-random-3-sat/uf50-218/result.pkl
- runs/uniform-random-3-sat/uf50-218/result.pkl.hist
- runs/uniform-random-3-sat/uf50-218/status.pkl
- runs/uniform-random-3-sat/uf50-218/status.pkl.hist
- runs/uniform-random-3-sat/uuf100-430/model-0/saved
- runs/uniform-random-3-sat/uuf100-430/result.pkl
- runs/uniform-random-3-sat/uuf100-430/result.pkl.hist
- runs/uniform-random-3-sat/uuf100-430/status.pkl
- runs/uniform-random-3-sat/uuf100-430/status.pkl.hist
- runs/uniform-random-3-sat/uuf50-218/model-0/saved
- runs/uniform-random-3-sat/uuf50-218/result.pkl
- runs/uniform-random-3-sat/uuf50-218/result.pkl.hist
- runs/uniform-random-3-sat/uuf50-218/status.pkl
- runs/uniform-random-3-sat/uuf50-218/status.pkl.hist
0 commit comments