Wednesday, May 23, 2018

[menkqfde] SAT puzzle

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 :