[murray-buttchin]

Is there only one possible solution for each board? Today I felt like deriving contradictions was a lot harder today than usual, but I still ended up with the correct answers.

I think there should be a way to mark dominos as "confirmed" vs "guesses", because not everyone is going to have working memory to remember which tiles laid down are "guesses" for deriving contradictions.

[recursive]

Today, the last puzzle had at least two solutions. I'd prefer that the puzzles were always unambiguous.