CNF satisfiability seems fairly straightforward to present as a visual, electronic puzzle: variables and clauses are connected by lines, possibly with an inverter inserted; variables, lines, and clauses light up when activated.
Inspired by the "electricity" shrine puzzles in Zelda Breath of the Wild, and someone complaining that the puzzles weren't difficult enough.
No comments :
Post a Comment