summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStijn Buys <ingar@osirion.org>2012-06-15 18:19:00 +0000
committerStijn Buys <ingar@osirion.org>2012-06-15 18:19:00 +0000
commitcc575497d583dd66c8b114199e12a4dd4ce804ee (patch)
tree0a589c5734cc2f75311e5b55fce77863687953c0
parent9e9581dcaffae8d21666f60370ee8b9b7e69bd6f (diff)
Added example sudokus.
-rw-r--r--README28
-rw-r--r--examples/metro-2012-06-01.sudoku11
-rw-r--r--examples/metro-2012-06-04.sudoku11
-rw-r--r--examples/metro-2012-06-08.sudoku11
-rw-r--r--examples/metro-2012-06-15.sudoku11
5 files changed, 71 insertions, 1 deletions
diff --git a/README b/README
index 04ae552..01612cd 100644
--- a/README
+++ b/README
@@ -17,11 +17,37 @@ BUILDING INSTRUCTIONS
make
The binary will be called 'sudokusolver' and be located in the 'src' directory.
+
+USAGE
+
+ Running the program will show the main window, which consists of a basic
+ sudoku grid (9x9) and a number of buttons.
+
+ The SAVE button allows you to save the current sudoku puzzle to a file,
+ like wise, the LOAD button allwos you to load a previously saved sudoko.
+
+ The file format is extremely simple: the files can be opened and edited
+ with a text editor. Note that empty (unsolved) positions are saved as well.
+
+ The CLEAR button will clear any previously entered numbers.
+
+ The STEP button can be used to solve the puzzle. If clicked, the program
+ will verify each empty cell. If a unique solution can be found for a cell,
+ it will be added to the solution. You will probably need to click STEP
+ several times to completely solve a puzzle.
+
+LIMITATIONS
+
+ The current solving algorithm will only find a complete solution as long
+ as there are cells for which a unique solution through elimination can be found.
+ It cannot perform an exhautive search if the sudoko contains only cells for
+ which at least 2 solutions can be found.
+
COPYRIGHT
This sudoku solver was written by Stijn "Ingar" Buys and is available under
- the terms and conditions of the GNU Public License (GPL)
+ the terms and conditions of the GNU Public License (GPL).
ingar@telenet.be
htpt://ingar.satgnu.net
diff --git a/examples/metro-2012-06-01.sudoku b/examples/metro-2012-06-01.sudoku
new file mode 100644
index 0000000..d85432b
--- /dev/null
+++ b/examples/metro-2012-06-01.sudoku
@@ -0,0 +1,11 @@
+0 8 0 1 9 2 0 0 5
+0 0 6 4 0 0 0 8 0
+3 0 0 0 0 0 0 2 0
+
+0 0 0 6 0 0 0 0 9
+5 0 0 0 0 0 7 0 8
+0 0 9 0 3 0 4 0 0
+
+0 0 7 8 4 1 0 0 0
+1 6 5 2 7 0 0 0 0
+4 0 0 3 0 0 2 0 0
diff --git a/examples/metro-2012-06-04.sudoku b/examples/metro-2012-06-04.sudoku
new file mode 100644
index 0000000..5cf44f6
--- /dev/null
+++ b/examples/metro-2012-06-04.sudoku
@@ -0,0 +1,11 @@
+0 2 1 0 0 0 8 0 0
+0 0 6 0 5 0 3 0 2
+8 7 3 0 0 0 0 1 0
+
+2 0 0 5 0 4 7 0 0
+0 6 0 0 0 3 5 9 8
+0 0 7 6 8 0 0 0 0
+
+0 0 9 0 4 0 0 2 0
+3 0 0 0 0 6 0 5 0
+0 0 0 0 0 9 0 0 7
diff --git a/examples/metro-2012-06-08.sudoku b/examples/metro-2012-06-08.sudoku
new file mode 100644
index 0000000..6b97a3c
--- /dev/null
+++ b/examples/metro-2012-06-08.sudoku
@@ -0,0 +1,11 @@
+0 0 0 0 5 9 0 7 6
+8 0 0 4 0 6 0 0 0
+6 0 0 0 0 0 8 0 9
+
+5 2 3 0 0 0 7 9 0
+0 7 6 5 0 0 0 0 2
+0 0 0 0 0 7 3 0 0
+
+2 6 4 3 0 0 0 0 0
+3 0 0 0 2 0 0 1 4
+0 0 1 9 0 0 0 8 0
diff --git a/examples/metro-2012-06-15.sudoku b/examples/metro-2012-06-15.sudoku
new file mode 100644
index 0000000..2504f4c
--- /dev/null
+++ b/examples/metro-2012-06-15.sudoku
@@ -0,0 +1,11 @@
+0 0 0 0 4 0 6 1 0
+0 1 0 8 0 0 2 0 0
+9 0 0 2 0 0 0 5 7
+
+3 0 0 4 0 1 0 0 0
+0 9 0 6 7 0 0 3 8
+0 0 5 3 0 0 0 2 0
+
+0 5 8 0 0 6 4 0 0
+0 0 9 1 0 0 0 0 0
+6 3 1 0 9 0 7 0 0