←back to thread

184 points bogdanoff_2 | 2 comments | | HN request time: 0s | source
Show context
bogdanoff_2 ◴[] No.45942757[source]
If anyone wants an extra challenge: think, how would you write a solver for this?
replies(2): >>45942975 #>>45943033 #
1. NatKarmios ◴[] No.45942975[source]
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.
replies(1): >>45948541 #
2. bogdanoff_2 ◴[] No.45948541[source]
That's pretty cool. It reminds me of writing peep-hole patterns for an optimizing compiler.