Henning Thielemann | 4 Sep 21:09 2013

ANN: set-cover solves Sudoku, Soma cube, 8 Queens etc.

I have prepared the package set-cover for solving exact set cover 
problems. It includes example programs for solving Sudoku, 8 Queens, Soma 
Cube, Tetris Cube, Cube of L's, and Logika's Baumeister puzzle. Please 
refer to these examples for learning how the library works.

The solver is generic with respect to the representation of sets. You may 
either use the high-level Set type from containers package or low-level 
bit vectors.


The package is simple Haskell 2010.