from display import display_sudoku_solution import random, sys from DPLL import DPLL if __name__ == "__main__": # for testing, always initialize the pseudorandom number generator to output the same sequence # of values: #random.seed(2) seed = 2 random.seed(seed) thresh = .7 #seed 8 thresh .6? puzz 1 - a mil iterations w no luck puzzle_name = str(sys.argv[1][:-4]) sol_filename = puzzle_name + ".sol" dpll = DPLL(sys.argv[1], 729, var_start=110) print("Seed: " + str(seed)) result = dpll.init_dpll() print("Seed: " + str(seed)) if result: dpll.write_solution(sol_filename) display_sudoku_solution(sol_filename) else: print("Oh no bb what is u doin'")