Code

Issue1126#195

Code

Merged

ClemensBuechner merged 1 commit intoaibasel:mainaibasel/downward:mainfrom ClemensBuechner:issue1126ClemensBuechner/downward:issue1126Copy head branch name to clipboardOct 19, 2023

+13-12

Commits

Commits on Oct 19, 2023

• Use unordered_set for landmark achievers.

  ClemensBuechner

  committed
  d113fa3