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 game goes.
https://dev.to/taw/open-source-adventures-episode-65-crystal-z3-solver-for-minesweeper-puzzle-1jcb