示例#1
0
    def test_sudoku_3(self):
        csp = e02.create_sudoku_csp(self.sudokus[23])
        solution = e02.backtracking(csp)
        sud = e02.sudoku_csp_to_array(solution)
        sudoku_checker(self, sud)

        self.assertTrue(solution.complete())
示例#2
0
def thread_solver(i):
    global s, num_threads
    num_threads += 1
    csp = e02_csp.create_sudoku_csp(sudokus[i])
    solution, _ = e02_csp.minimum_remaining_values_with_degree(csp)
    solution = e02_csp.sudoku_csp_to_array(csp)
    lock.acquire();
    s += int( str(solution[0][0]) + str(solution[0][1]) + str(solution[0][2]) )
    num_threads -= 1
    lock.release()