The set-cover package

[Tags: bsd3, library]

Solver for exact set cover problems. Included examples: Sudoku, 8 Queens, Soma Cube, Tetris Cube, Cube of L's, Logika's Baumeister puzzle. Generic algorithm allows to choose between slow but flexible Set from containers package and fast but cumbersome bitvectors.

Build examples with cabal install -fbuildExamples.

The package needs only Haskell 98.


Versions0.0, 0.0.1, 0.0.2, 0.0.3, 0.0.4
Dependenciesbase (==4.*), containers (>=0.4 && <0.6), utility-ht (>=0.0.1 && <0.1)
AuthorHenning Thielemann, Helmut Podhaisky
MaintainerHenning Thielemann <>
CategoryMath, Algorithms
Home page
Source repositorythis: darcs get --tag 0.0.4
head: darcs get
Executablesdomino, alphametics, baumeister, lcube, sudoku-setcover, queen8, soma-cube, tetris-cube
Upload dateWed Jan 1 18:16:08 UTC 2014
Uploaded byHenningThielemann
Downloads452 total (44 in last 30 days)




buildexamplesBuild example executablesDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees