Open Source Adventures: Episode 70: Crystal Z3 Solver for Nonograms Puzzle

Nonograms is one of more popular puzzles. there's a grid of cells, you need do fill some of them each row and each column has some hints, each being a list of numbers a hint like "2 5 3" means the row (or column) has three groups of filled cells - a...