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"]