def test_dpll(): """This is also tested in test_dimacs""" A, B, C = symbols('A,B,C') assert dpll([A | B], [A, B], {A: True, B: True}) == {A: True, B: True}
def test_dpll(): assert dpll([{1, 2, 4}, {-4, -1, 2, 3}, {-3, -2, 1, 4}], [1, 2, 3, 4], {1: False}) == {1: False, 4: True}