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_formula6():
assert (sort_formula(sat.get_plan_formula(task2, 2)) == [
'a-2', 'd-0', 'not-a-0',
[['a-1', 'd-0', 'd-1<->d-0'], ['a-1', 'd-1<->d-0']],
[['a-2', 'd-1', 'd-2<->d-1'], ['a-2', 'd-2<->d-1']]
])
def test_plan_formula5():
assert sat.get_plan_formula(task5, 0) == ['a-0', 'a-0']
def test_plan_formula4():
assert (sort_formula(sat.get_plan_formula(
task4, 1)) == ['a-1', 'd-0', 'not-a-0', [['a-1', 'd-0', '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_formula2():
assert sat.get_plan_formula(task2, 1) == ['d-0', 'not-a-0',
[['a-1', 'd-1<->d-0'], ['d-0', 'a-1', 'd-1<->d-0']], 'a-1']
def test_plan_formula1():
assert sat.get_plan_formula(task1, 1) == ['not-a-0', [['a-1']], 'a-1']
def test_plan_formula6():
assert (sat.get_plan_formula(task2, 2) == ['d-0', 'not-a-0',
[['a-1', 'd-1<->d-0'], ['d-0', 'a-1', 'd-1<->d-0']],
[['a-2', 'd-2<->d-1'], ['d-1', 'a-2', 'd-2<->d-1']], 'a-2'])
def test_plan_formula5():
assert sat.get_plan_formula(task5, 0) == ['a-0', 'a-0']
def test_plan_formula3():
assert sat.get_plan_formula(task3, 1) == ['not-a-0', 'not-b-0',
[['a-1', 'b-1<->b-0'], ['a-1<->a-0', 'b-1']], 'a-1', 'b-1']
def test_plan_formula4():
assert (sort_formula(sat.get_plan_formula(task4, 1)) ==
['a-1', 'd-0', 'not-a-0', [['a-1', 'd-0', 'd-1<->d-0']]])
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"]
