Open Source Adventures: Episode 66: Crystal Z3 Solver for Mosaic Puzzle

Mosaic Puzzle is really close to Minesweeper Puzzle we did in the previous episode. Logically the only difference is that hint cells can also contain mines. And for that reason, instead of "mines" it talks about black and white cells. The difficulty ...