Cracking Minesweeper with Z3 SMT Solver
Here we go again. Someone says "minesweeper". I shamelessly plug my js implementation: <a href="http://www.ronilan.com/bugsweeper/" rel="nofollow">http://www.ronilan.com/bugsweeper/</a> Don't ask me why.<p>P.S - it's with bugs instead of mines just because fontawesome didn't have mines. No puns intended.