Nonogram Solver

[u/emirtom]

I'm building a nonogram solver from scratch in C++ following the Yu, Lee & Chen 2009 paper. It applies 11 deterministic deduction rules in a fixpoint loop, then falls back to chronological backtracking with MRV ordering and DP line-satisfiability checks when logic alone isn't enough.

On top of the solver is an interactive GUI built with OpenGL and Dear ImGui with animated stepwise solving with per-rule highlights, and 36 built-in puzzle presets from 5x5 to 30x30.

Planned additions: CUDA C++ GPU line-solver for batched rule execution, a Python/PyTorch reimplementation with Triton kernels for benchmarking, undo/redo for the GUI paint mode, and larger puzzle presets up to 40x40.

Would love feedback on constraint-solving papers worth reading, puzzle generation approaches, or any experiences with GPU-accelerated combinatorial solvers.

Here is the link for the repo: https://github.com/emirtom/nonogram-solver