예제 #1
0
def test_operator_formula2():
    assert sat.get_formula_for_operator(['a', 'd'], op3,
                                        3) == ['d-3', 'a-4', 'd-4<->d-3']
예제 #2
0
def test_operator_formula1():
    assert sat.get_formula_for_operator(['a'], op1, 3) == ['a-4']
예제 #3
0
def test_operator_formula2():
    assert sat.get_formula_for_operator(['a', 'd'], op3, 3) == ['d-3', 'a-4',
                                                                'd-4<->d-3']
예제 #4
0
def test_operator_formula1():
    assert sat.get_formula_for_operator(['a'], op1, 3) == ['a-4']
예제 #5
0
def test_operator_formula2():
    assert sat.get_formula_for_operator(["a", "d"], op3, 3) == [
        "d-3",
        "a-4",
        "d-4<->d-3",
    ]
예제 #6
0
def test_operator_formula1():
    assert sat.get_formula_for_operator(["a"], op1, 3) == ["a-4"]