I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.
share with friends
@_torayuri wrote on textlog https://textlog.cc/post/601