swi prolog sudoku contraint resolver with html trace

src/programs/results/sudoku_default000.pro

@@ -0,0 +1,10 @@
+violated_field(0,0).
+row_state(1,[5,3,0,0,7,0,0,0,0]).
+row_state(2,[6,0,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default003.pro

@@ -0,0 +1,10 @@
+violated_field(3,6).
+row_state(1,[5,3,1,2,7,4,0,0,0]).
+row_state(2,[6,0,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default008.pro

@@ -0,0 +1,10 @@
+violated_field(3,1).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,2,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default010.pro

@@ -0,0 +1,10 @@
+violated_field(3,1).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,4,2,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default013.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,4,7,1,9,5,3,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default017.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,7,4,1,9,5,3,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default019.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,4,7,1,9,5,3,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default020.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,0,7,1,9,5,3,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default023.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,7,4,1,9,5,3,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default024.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,7,4,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default026.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,4,7,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default027.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,0,7,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default028.pro

@@ -0,0 +1,10 @@
+violated_field(3,1).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,0,2,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default031.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,7,4,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default032.pro

@@ -0,0 +1,10 @@
+violated_field(3,1).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,2,4,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default034.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,7,4,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default035.pro

@@ -0,0 +1,10 @@
+violated_field(2,7).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,7,4,1,9,5,0,3,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default036.pro

@@ -0,0 +1,10 @@
+violated_field(8,8).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,0,0,1,9,5,0,3,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default038.pro

@@ -0,0 +1,10 @@
+violated_field(7,9).
+row_state(1,[5,3,1,2,7,6,0,0,4]).
+row_state(2,[6,0,0,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default042.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,9,4,8]).
+row_state(2,[6,7,0,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default046.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,4,7,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default047.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,0,0,8]).
+row_state(2,[6,4,7,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default049.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,0,0,8]).
+row_state(2,[6,7,4,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default052.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,0,4,8]).
+row_state(2,[6,7,0,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default054.pro

@@ -0,0 +1,10 @@
+violated_field(2,9).
+row_state(1,[5,3,1,2,7,6,4,9,8]).
+row_state(2,[6,7,0,1,9,5,0,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default056.pro

@@ -0,0 +1,10 @@
+violated_field(1,9).
+row_state(1,[5,3,1,2,7,6,8,4,0]).
+row_state(2,[6,0,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default058.pro

@@ -0,0 +1,10 @@
+violated_field(3,1).
+row_state(1,[5,3,1,2,7,6,8,9,0]).
+row_state(2,[6,2,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default060.pro

@@ -0,0 +1,10 @@
+violated_field(7,9).
+row_state(1,[5,3,1,2,7,6,8,9,4]).
+row_state(2,[6,7,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default061.pro

@@ -0,0 +1,10 @@
+violated_field(7,9).
+row_state(1,[5,3,1,2,7,6,0,0,4]).
+row_state(2,[6,0,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default063.pro

@@ -0,0 +1,10 @@
+violated_field(3,1).
+row_state(1,[5,3,1,2,7,6,0,0,8]).
+row_state(2,[6,2,0,1,9,5,0,0,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default067.pro

@@ -0,0 +1,10 @@
+violated_field(8,8).
+row_state(1,[5,3,1,2,7,6,0,9,8]).
+row_state(2,[6,4,0,1,9,5,0,3,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default071.pro

@@ -0,0 +1,10 @@
+violated_field(1,7).
+row_state(1,[5,3,1,2,7,6,0,9,8]).
+row_state(2,[6,7,0,1,9,5,4,2,0]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default076.pro

@@ -0,0 +1,10 @@
+violated_field(2,8).
+row_state(1,[5,3,1,2,7,6,0,4,8]).
+row_state(2,[6,7,0,1,9,5,3,0,2]).
+row_state(3,[0,9,8,0,0,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default081.pro

@@ -0,0 +1,10 @@
+violated_field(3,6).
+row_state(1,[5,3,1,2,7,6,0,9,8]).
+row_state(2,[6,7,0,1,9,5,3,0,2]).
+row_state(3,[2,9,8,3,4,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default082.pro

@@ -0,0 +1,10 @@
+violated_field(3,4).
+row_state(1,[5,3,1,2,7,6,0,0,8]).
+row_state(2,[6,7,0,1,9,5,3,0,0]).
+row_state(3,[0,9,8,0,3,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).

src/programs/results/sudoku_default083.pro

@@ -0,0 +1,10 @@
+violated_field(3,6).
+row_state(1,[5,3,1,2,7,6,0,0,8]).
+row_state(2,[6,7,0,1,9,5,3,0,0]).
+row_state(3,[0,9,8,0,4,0,0,6,0]).
+row_state(4,[8,0,0,0,6,0,0,0,3]).
+row_state(5,[4,0,0,8,0,3,0,0,1]).
+row_state(6,[7,0,0,0,2,0,0,0,6]).
+row_state(7,[0,6,0,0,0,0,2,8,0]).
+row_state(8,[0,0,0,4,1,9,0,0,5]).
+row_state(9,[0,0,0,0,8,0,0,7,9]).