コード例 #1
0
ファイル: test_dimacs.py プロジェクト: rbarzic/pyeda 
def test_satex():
    assert load_sat(SAT_F5_1).equivalent(F5)
コード例 #2
0
ファイル: test_dimacs.py プロジェクト: rbarzic/pyeda 
def test_satx():
    assert load_sat(SAT_F3_1).equivalent(F3)
コード例 #3
0
ファイル: test_dimacs.py プロジェクト: rbarzic/pyeda 
def test_sate():
    assert load_sat(SAT_F4_1).equivalent(F4)
コード例 #4
0
ファイル: test_dimacs.py プロジェクト: rbarzic/pyeda 
def test_sat():
    assert load_sat(SAT_F1_1).equivalent(F1)
    assert load_sat(SAT_F2_1).equivalent(F2)