Tangentially related, have you heard of Bombe? It's a hexagonal minesweeper where you write rules to solve every possible scenario. It even checks your rules' satisfiability via SMT.
bogdanoff_2
That's pretty cool. It reminds me of writing peep-hole patterns for an optimizing compiler.