Skip to content

[issue1233] Report unsolvability for bounded search algos if the bound was not used. - #303

Open
SimonDold wants to merge 6 commits into
aibasel:mainfrom
SimonDold:issue1233
Open

[issue1233] Report unsolvability for bounded search algos if the bound was not used.#303
SimonDold wants to merge 6 commits into
aibasel:mainfrom
SimonDold:issue1233

Commits

Commits on Jul 28, 2026

Commits on Jul 30, 2026

Commits on Jul 31, 2026

Commits on Aug 2, 2026