Open Source Adventures: Episode 65: Crystal Z3 Solver for Minesweeper Puzzle

Let's write some puzzle solvers. This time - Minesweeper Puzzle. Minesweeper puzzle differs from the Minesweeper game in that a bunch of mine hints are provided from the start. In the game you start with the empty board, and get hints revealed as gam...