/puzzle-solving

A bucket for various puzzle solvers

Primary LanguageHaskellGNU General Public License v3.0GPL-3.0

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.