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()
