Python Or.decomposable Examples

Example #1

File: test_nnf.py Project: vishalbelsare/python-nnf

def test_MODS(sentence: nnf.Or):
    assert sentence.smooth()
    assert sentence.flat()
    assert sentence.decomposable()
    assert sentence.simply_conjunct()

Example #2

File: test_nnf.py Project: vishalbelsare/python-nnf

def test_hyp(sentence: nnf.Or):
    assume(len(sentence.children) != 0)
    assume(sentence.decomposable())
    assert sentence.satisfiable()
    assert sentence.vars() <= set(range(1, 9))