@hackage abc-puzzle0.2.1

Generate instances of the ABC Logic Puzzle.

Categories
- Game Development
License
BSD-3-Clause
Maintainer
patrick.bahr@gmail.com
Links
Versions
- 0.2.1 Fri, 1 Aug 2014
- 0.2 Sun, 27 Jul 2014
- 0.1 Sat, 26 Jul 2014

Installation
In your cabal file:
Dependencies (0)
- Safe >=0.1
- array
- base >=3 && <5
- minisat >=0.1
- random >=1.0
- random-shuffle >=0.0.4
Dependents (1)
@hackage/acme-everything

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.