I would be surprised if a LLM wouldn't be able to do this in the same way humans would: brute force with a couple of early backtracking conditions. It would ha

I would be surprised if a LLM wouldn't be able to do this in the same way humans would: brute force with a couple of early backtracking conditions. It would have to think out loud though.