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)))
def test_f6():
assert not bool(dpll2_satisfiable(load(f6)))
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)))