def main():
with open(sys.argv[1]) as cnf_file:
cnf = load(cnf_file.read())
result = dpll_satisfiable(cnf)
print(result)
return 0
def test_f4():
assert not bool(dpll_satisfiable(load(f4)))
def test_f5():
assert bool(dpll_satisfiable(load(f5)))
def test_f2():
assert bool(dpll_satisfiable(load(f2)))
def test_f3():
assert bool(dpll_satisfiable(load(f3)))
def test_f1():
assert bool(dpll_satisfiable(load(f1)))
def test_f1():
assert bool(dpll_satisfiable(load(f1)))
def test_f4():
# re-enable this when dpll is efficient
skip('Takes too much time')
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_f4():
assert not bool(dpll_satisfiable(load(f4)))
def test_f5():
assert bool(dpll_satisfiable(load(f5)))