From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 6 Sep 2018 23:23:05 +0000 (-0700)
Subject: Bug fix: providing right number of variables for the SAT Solver
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8efb6673568082014e3a671a344e67c067137285;p=Benchmarks_CSolver.git

Bug fix: providing right number of variables for the SAT Solver
---

diff --git a/killerSudoku/killerSolver.py b/killerSudoku/killerSolver.py
index 141b6583..a6241477 100644
--- a/killerSudoku/killerSolver.py
+++ b/killerSudoku/killerSolver.py
@@ -300,10 +300,11 @@ def verify_killer_sudoku(killerRules, result_matrix):
     return True
 
 def solveOriginalEncoding(killerRules):
+    global seed
     cnf =  encode_to_cnf(killerRules)       
     # #solve the encoded CNF     
     start = time.time()
-    result_list = glucose.solve(cnf, N**3)
+    result_list = glucose.solve(cnf, seed)
     end = time.time()
     #output the result
     # print result_list