remigijusj / puzzle-solving

A bucket for various puzzle solvers

puzzle-solving

A bucket for various puzzle solvers

Nonogram

SMT-based solver for nonograms. Implementation: Haskell, using SBV lib.
Includes custom format parser. See ex directory for nonogram examples.

Constraints inspired by: http://bach.istc.kobe-u.ac.jp/copris/puzzles/nonogram/

Numeric

A bunch of very simple solvers for numeric puzzles. All SMT-based.