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