Skip to content

[issue1151] better error message when passing a heuristic to --search#234

Merged
FlorianPommerening merged 2 commits intoaibasel:mainfrom FlorianPommerening:issue1151Oct 7, 2024
+2

Commits

Commits on Sep 27, 2024