def test_for_futoshiki_file(filename): print(filename) problem = read_futoshiki_problem(filename, prefix) board = BoardFutoshiki(problem['matrix'], problem['constraints']) solver = Solver(board) results = solver.solve() print(' number of results: ' + str(len(results))) for result in results: print(result) if not check_if_unique(results): global uniqueq unique = False
def test_for_skyscrapper_file(filename): print(filename) problem = read_skyscrapper_problem(filename, skyscrapper_prefix) board = BoardSkyscrapper(N=problem['N'], constraints=problem['constraints'], name=problem['name']) solver = Solver(board) results = solver.solve() print(filename + ' number of results: ' + str(len(results))) for result in results: print(result) if not check_if_unique(results): global unique unique = False
def test_result_of_solving_futoshiki_4_1(self): problem = read_futoshiki_problem('futoshiki_4_1.txt') board = BoardFutoshiki(matrix=problem['matrix'], constraints=problem['constraints']) solver = Solver(board) results = solver.solve()
def test_solving_futoshiki_4_2_doesnt_crash_program(self): problem = read_futoshiki_problem('futoshiki_4_2.txt') board = BoardFutoshiki(matrix=problem['matrix'], constraints=problem['constraints']) # print(board.matrix) solver = Solver(board) results = solver.solve()