@hackage / abc-puzzle

Generate instances of the ABC Logic Puzzle.

Latest0.2.1

About

Metadata

  • Last updated , by PatrickBahr
  • License BSD-3-Clause
  • Categories Game Development

  • Maintained by: patrick.bahr@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

This program generate instances of the ABC Logic Puzzle (http://en.wikipedia.org/wiki/Buchstabensalat_%28logic_puzzle%29). The implementation uses the MiniSat SAT solver (http://minisat.se/) to guide the search for a valid puzzle. Each generated puzzle has one unique solution.