def load_file(location): """Loads a boolean expression from a file.""" location = os.path.dirname(__file__) + '/' + location with open(location) as f: s = f.read() return load(s)
def test_f5(): assert bool(dpll_satisfiable(load(f5)))
def test_f4(): assert not bool(dpll_satisfiable(load(f4)))
def test_f3(): assert bool(dpll_satisfiable(load(f3)))
def test_f2(): assert bool(dpll_satisfiable(load(f2)))
def test_f1(): assert bool(dpll_satisfiable(load(f1)))
def test_f6(): assert not bool(dpll2_satisfiable(load(f6)))