excov 1.0.1

A solver for exact cover problems
Documentation
  • Coverage
  • 66.67%
    10 out of 15 items documented1 out of 13 items with examples
  • Size
  • Source code size: 53.21 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 3.28 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 15s Average build duration of successful builds.
  • all releases: 13s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • earhart/excov
    0 0 0
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • earhart

Excov

This package is an implementation of Knuth's Algorithm X using DLX.

This is just my little starter project to explore Rust. That said, the implementation is meant to be relatively simple and efficient, and I'd deeply appreciate any comments on how to make the code better.

Knuth's Algorithm X solves exact cover problems -- see the wikipedia article for details. But basically: if you have a set X, and a set S of subsets of X (so, each element of S contains some number of elements of X), can you find a subset of S s.t. each element of X is contained in exactly one subset? Essentially, this partitions X, with no elements in X left over.

This is useful for things like solving Sudoku puzzles or the N Queens puzzle.