Exemple #1
0
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)
Exemple #2
0
def test_f5():
    assert bool(dpll_satisfiable(load(f5)))
Exemple #3
0
def test_f4():
    assert not bool(dpll_satisfiable(load(f4)))
Exemple #4
0
def test_f3():
    assert bool(dpll_satisfiable(load(f3)))
Exemple #5
0
def test_f2():
    assert bool(dpll_satisfiable(load(f2)))
Exemple #6
0
def test_f1():
    assert bool(dpll_satisfiable(load(f1)))
Exemple #7
0
def test_f6():
    assert not bool(dpll2_satisfiable(load(f6)))
Exemple #8
0
def test_f6():
    assert not bool(dpll2_satisfiable(load(f6)))
Exemple #9
0
def test_f5():
    assert bool(dpll_satisfiable(load(f5)))
Exemple #10
0
def test_f4():
    assert not bool(dpll_satisfiable(load(f4)))
Exemple #11
0
def test_f3():
    assert bool(dpll_satisfiable(load(f3)))
Exemple #12
0
def test_f2():
    assert bool(dpll_satisfiable(load(f2)))
Exemple #13
0
def test_f1():
    assert bool(dpll_satisfiable(load(f1)))