exact-cover: Efficient exact cover solver.

[ algorithms, bsd3, library, math ] [ Propose Tags ]

Fast solver for exact set cover problems (http://en.wikipedia.org/wiki/Exact_cover) using Algorithm X as described in the paper Dancing Links, by Donald Knuth, in Millennial Perspectives in Computer Science, P159, 2000 (https://arxiv.org/abs/cs/0011047).

To get started, see the documentation for the Math.ExactCover module below.

Build examples with cabal install -fbuildExamples or stack build --flag exact-cover:buildExamples. Examples include a Sudoku solver.


[Skip to Readme]

Flags

Manual Flags

NameDescriptionDefault
buildexamples

Build example executables.

Disabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0
Dependencies base (>=4.6 && <4.10), boxes (<0.2), containers (>=0.5 && <0.6), exact-cover (<0.2), safe (<0.4), vector (<0.12) [details]
License BSD-3-Clause
Copyright (c) 2017, Arthur Lee
Author Arthur Lee
Maintainer me@arthur.li
Category Math, Algorithms
Home page https://github.com/arthurl/exact-cover
Bug tracker https://github.com/arthurl/exact-cover/issues
Source repo head: git clone https://github.com/arthurl/exact-cover
Uploaded by arthur at 2017-04-22T12:05:55Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables sudoku
Downloads 1035 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for exact-cover-0.1.0.0

[back to package description]

The exact-cover package

exact-cover is a Haskell library that implements a fast solver for exact cover problems using Algorithm X as described in the paper Dancing Links, by Donald Knuth, in Millennial Perspectives in Computer Science, P159, 2000.

See exact-cover on Hackage for more information.