Making benchmarks as similar as possible to the original encoding

[Benchmarks_CSolver.git] / killerSudoku / csolversudoku.py

diff --git a/killerSudoku/csolversudoku.py b/killerSudoku/csolversudoku.py
index 960fa7f872b327d9d3afb9ce1f4c3df3d858af4d..6e60ea2962d08e2dff8682c5abce5c624c3b7d40 100644 (file)
--- a/killerSudoku/csolversudoku.py
+++ b/killerSudoku/csolversudoku.py
@@ -130,9 +130,12 @@ def generateKillerSudokuConstraints(N, killerRules, serialize):
 #              for j, elem in enumerate(row):
 #                      csolverlb.mustHaveValue(solver, elem)
 
-       # ensure rows and columns have distinct values
+       # ensure rows have distinct values
        for i in range( N):
                valid(problem[:,i])
+               
+       # ensure columns have distinct values
+       for i in range( N):
                valid(problem[i,:])
        
        # ensure each block has distinct values