Good stuff, thanks for sharing!

There's a card game Krypto that is similar, fun to play with my kids. I wrote some scripts awhile ago to solve Krypto games and figure out how many games are unsolvable.

I wrote up my thinking and how I went about solving here: https://mkaz.blog/math/krypto-game-analysis/