def test_operator_formula2(): assert sat.get_formula_for_operator(['a', 'd'], op3, 3) == ['d-3', 'a-4', 'd-4<->d-3']
def test_operator_formula1(): assert sat.get_formula_for_operator(['a'], op1, 3) == ['a-4']
def test_operator_formula2(): assert sat.get_formula_for_operator(["a", "d"], op3, 3) == [ "d-3", "a-4", "d-4<->d-3", ]
def test_operator_formula1(): assert sat.get_formula_for_operator(["a"], op1, 3) == ["a-4"]