Add a graph

togatoga · Jan 18, 2021 · eed4e32 · eed4e32
1 parent e286e96
commit eed4e32
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cnf/sat/maroonrk_four_color_graph.cnf b/cnf/sat/maroonrk_four_color_graph.cnf