The set-cover package

[Tags:bsd3, library]

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

For getting familiar with the package I propose to study the Queen8 example along with Math.SetCover.Exact.

Build examples with cabal install -fbuildExamples.

The package needs only Haskell 98.

Properties

Versions 0.0, 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.0.5.1, 0.0.6, 0.0.7, 0.0.8
Change log Changes.md
Dependencies array (>=0.1 && <0.6), base (==4.*), containers (>=0.4 && <0.6), enummapset (>=0.1 && <0.6), haha (>=0.3.1 && <0.4), non-empty (>=0.2 && <0.4), pooled-io (==0.0.*), psqueues (==0.2.*), random (>=1.0 && <1.2), set-cover, transformers (>=0.2 && <0.6), unicode (==0.0.*), utility-ht (>=0.0.12 && <0.1) [details]
License BSD3
Author Henning Thielemann, Helmut Podhaisky
Maintainer Henning Thielemann <haskell@henning-thielemann.de>
Stability Unknown
Category Math, Algorithms
Home page http://hub.darcs.net/thielema/set-cover/
Source repository this: darcs get http://hub.darcs.net/thielema/set-cover/ --tag 0.0.8
head: darcs get http://hub.darcs.net/thielema/set-cover/
Uploaded Mon Jan 18 14:52:54 UTC 2016 by HenningThielemann
Distributions NixOS:0.0.8
Downloads 1221 total (45 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-01-20 [all 1 reports]

Modules

  • Math
    • SetCover
      • Math.SetCover.Bit
      • Math.SetCover.BitMap
      • Math.SetCover.BitPosition
      • Math.SetCover.BitSet
      • Math.SetCover.Cuboid
      • Math.SetCover.Exact
        • Math.SetCover.Exact.Priority
      • Math.SetCover.Queue

Flags

NameDescriptionDefaultType
buildexamplesBuild example executablesDisabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees