New dataset + Using Glucose instead of Pycosat

[Benchmarks_CSolver.git] / killerSudoku / dataset-cs / 4 / 3-4.killer

diff --git a/killerSudoku/dataset-cs/4/3-4.killer b/killerSudoku/dataset-cs/4/3-4.killer
index 9caf22a0d86a349c4cae7e7c6a9f992b25e3549d..320bfb28bda5e6b0d6a6bdabe887b58ad86b881f 100644 (file)
--- a/killerSudoku/dataset-cs/4/3-4.killer
+++ b/killerSudoku/dataset-cs/4/3-4.killer
@@ -1,5 +1,6 @@
-12=(3, 0)+(3, 1)+(2, 0)+(1, 0)
-8=(2, 2)+(3, 2)+(2, 1)+(1, 2)
-10=(0, 1)+(0, 2)+(0, 0)+(1, 1)
-4=(3, 3)+(2, 3)
-6=(1, 3)+(0, 3)
+10=(2, 0)+(1, 0)+(2, 1)+(3, 0)
+10=(1, 1)+(0, 1)+(1, 2)+(0, 2)
+10=(2, 3)+(3, 3)+(2, 2)+(1, 3)
+1=(0, 0)
+5=(3, 1)+(3, 2)
+4=(0, 3)