Tomasz Węgrzanowskitaw.hashnode.dev·Jul 6, 2022Open Source Adventures: Episode 70: Crystal Z3 Solver for Nonograms PuzzleNonograms 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...Open Source AdventurescrystalAdd a thoughtful commentNo comments yetBe the first to start the conversation.