[NatKarmios]

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.