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)))