Code

Issue383#181

Code

Merged

ClemensBuechner merged 1 commit intoaibasel:mainaibasel/downward:mainfrom ClemensBuechner:issue383ClemensBuechner/downward:issue383Copy head branch name to clipboardSep 22, 2023

-3

Commits

Commits on Sep 22, 2023

• Allow reasonable orderings towards landmarks that hold initially.

  ClemensBuechner

  committed
  fc1af85