def test_dpll():
 (A, B, C) = symbols('A,B,C')
 assert (dpll([(A | B)], [A, B], {A: True, B: True}) == {A: True, B: True})

def test_dpll ( ) : ( A , B , C ) = symbols ( 'A,B,C' ) assert ( dpll ( [ ( A | B ) ] , [ A , B ] , { A : True , B : True } ) == { A : True , B : True } )
this is also tested in test_dimacs .