Esempio n. 1
0
def main():
    with open(sys.argv[1]) as cnf_file:
        cnf = load(cnf_file.read())
    result = dpll_satisfiable(cnf)
    print(result)
    return 0
Esempio n. 2
0
def test_f4():
    assert not bool(dpll_satisfiable(load(f4)))
Esempio n. 3
0
def test_f5():
    assert bool(dpll_satisfiable(load(f5)))
Esempio n. 4
0
def test_f2():
    assert bool(dpll_satisfiable(load(f2)))
Esempio n. 5
0
def test_f3():
    assert bool(dpll_satisfiable(load(f3)))
Esempio n. 6
0
def test_f1():
    assert bool(dpll_satisfiable(load(f1)))
Esempio n. 7
0
def test_f1():
    assert bool(dpll_satisfiable(load(f1)))
Esempio n. 8
0
def test_f4():
    # re-enable this when dpll is efficient
    skip('Takes too much time')
    assert not bool(dpll_satisfiable(load(f4)))
Esempio n. 9
0
def test_f3():
    assert bool(dpll_satisfiable(load(f3)))
Esempio n. 10
0
def test_f2():
    assert bool(dpll_satisfiable(load(f2)))
Esempio n. 11
0
def test_f4():
    assert not bool(dpll_satisfiable(load(f4)))
Esempio n. 12
0
def test_f5():
    assert bool(dpll_satisfiable(load(f5)))