def test_constraint_propagation(self):
board = sdk_io.read("data/nakedhiddensingle5.sdk")
sdk_solver.propagate(board)
self.assertEqual(board.as_list(), [
"381429567", "427685193", "965371248", "873912654", "214856739",
"596743812", "648597321", "139268475", "752134986"
])
def test_hidden_single(self):
board = sdk_board.Board()
board.set_tiles(hidden_single_example)
sdk_solver.propagate(board)
self.assertEqual(board.as_list(), hidden_single_propagated)