def test_plan_formula2():
assert sort_formula(sat.get_plan_formula(task2, 1)) == [
"a-1",
"d-0",
"not-a-0",
[["a-1", "d-0", "d-1<->d-0"], ["a-1", "d-1<->d-0"]],
]
def test_plan_formula3():
assert sort_formula(sat.get_plan_formula(task3, 1)) == [
"a-1",
"b-1",
"not-a-0",
"not-b-0",
[["a-1", "b-1<->b-0"], ["a-1<->a-0", "b-1"]],
]
def test_plan_formula1():
assert sat.get_plan_formula(task1, 1) == ["not-a-0", [["a-1"]], "a-1"]
def test_plan_formula5():
assert sat.get_plan_formula(task5, 0) == ["a-0", "a-0"]
