Live data from Hacker News

Bombe: Minesweeper, but you only solve each situation once

store.steampowered.com

1–10 of 27 posts

Re: Bombe: Minesweeper, but you only solve each situation once

#10
Try the demo!

Bombe embeds a copy of the Z3 SMT theorem prover to validate that the rules you create are sound, enabling it to show counterexamples for logical inconsistencies.

People mention the UI being bad-- I think it's more that the fundamental gameplay loop is confusing, and it's sometimes hard to understand the logic behind the rules you need to make.

Post reply on HN