A bucket for various puzzle solvers
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/
A bunch of very simple solvers for numeric puzzles. All SMT-based.