Esempio n. 1
0
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
Esempio n. 2
0
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()