def button_resolution2(
): # Função para preencher cada quadrado do sudoku com os valores totais do sudoku gerado aleatoriamente
sudoku_grid_as_string2 = sudoku_aleat
sudoku_queue = fetch_sudokus(sudoku_grid_as_string2)
for index, sudoku_grid in enumerate(sudoku_queue):
solve2(sudoku_grid, index, len(sudoku_queue))
f_sudoku = value2
button_clear()
if not value2:
messagebox.showerror(
title="Erro",
message="Este Sudoku não tem resultado com o AC3")
else:
for c in colunas:
for l in range(1, 10):
canvas_id = eval(c + str(l)).create_text(25,
20,
anchor="nw")
eval(c + str(l)).itemconfig(canvas_id,
text=f_sudoku[0],
tag=(c + str(l)))
f_sudoku = f_sudoku[1:]
eval(c + str(l)).update()
def test_solve2():
NEWDATA = """
mask = 000000000000000000000000000000X1001X
mem[42] = 100
mask = 00000000000000000000000000000000X0XX
mem[26] = 1
"""
data = parse(NEWDATA)
solution = solve2(data)
assert solution == 208
def test_solve2():
solution = solve2(data)
assert solution == 1
def test_solve2():
solution = solve2(data)
def test_solve2():
solution = solve2(data, 127)
assert solution == 62
def test_solve2():
solution = solve2(data)
assert solution == "mxmxvkd,sqjhc,fvjkl"
def test_solve2():
solution = solve2(data)
assert solve1([1, 2, 3, 4, 5, 6, 7]) == 1
assert solution == 241861950
def test_solve2():
my_data = copy.deepcopy(data)
solution = solve2(my_data)
assert solution == 26