Alloy Support for Killer Sudoku

[Benchmarks_CSolver.git] / killerSudoku / killerSolver.py

diff --git a/killerSudoku/killerSolver.py b/killerSudoku/killerSolver.py
index 803ef2f182c0169d76a0216600d9fc1a33d3657e..779e4d1d7300a236050eb5357512461a6c9aae75 100644 (file)
--- a/killerSudoku/killerSolver.py
+++ b/killerSudoku/killerSolver.py
@@ -323,8 +323,8 @@ def solveKillerSudoku(killerRules):
     global argparser
     result_matrix = None
     
-    if argparser.useCSolverEncoding() or argparser.shouldSerialize():
-        result_matrix = cs.solveProblem(N, killerRules, argparser.shouldSerialize())
+    if argparser.getCSolverOption() > 0:
+        result_matrix = cs.solveProblem(N, killerRules, argparser.getCSolverOption())
     else:
         result_matrix = solveOriginalEncoding(killerRules)