def test_sat1(self): board = SudokuBoard([[0, 0, 0, 3], [0, 0, 0, 2], [3, 0, 0, 0], [4, 0, 4, 4]]) assert not board.solvable(full_resolution)
def test_sat2(self): board = SudokuBoard([[1]]) assert board.solvable(full_resolution)
def test_sat1(self): board = SudokuBoard([[0, 0, 0, 3], [0, 0, 0, 2], [3, 0, 0, 0], [4, 0, 4, 4]]) assert not board.solvable(full_resolution)
def test_sat2(self): board = SudokuBoard([[1]]) assert board.solvable(full_resolution)