exact-cover alternatives and similar packages
Based on the "Algorithms" category.
Alternatively, view exact-cover alternatives based on common mentions on social networks and blogs.
-
arithmoi
Number theory: primes, arithmetic functions, modular computations, special sequences -
presburger
Decision procedures for Presburger arithmetic in Haskell -
imj-animation
Monorepo for a multi-player game engine, and game examples -
text-metrics
Calculate various string metrics efficiently in Haskell -
lca
Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing -
search-algorithms
Haskell library containing common graph search algorithms -
-
integer-logarithms
Integer logarithms, originally split from arithmoi package -
incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell Library -
treeviz
Haskell library for visualizing algorithmic decomposition of computations. -
nonlinear-optimization-ad
Wrapper of nonlinear-optimization package for using with ad and backprop packages -
GraphSCC
Tarjan's algorithm for computing strongly connected components -
infinite-search
An implementation of Martin Escardo's exhaustively searchable sets in Haskell. -
-
edit-distance-vector
Calculate edit scripts and distances between Vectors. -
primesieve
A collection of packages related to math, algorithms and science, in Haskell. -
adp-multi
Prototype of ADP for MCFL (multiple context-free languages) -
graph-generators
A Haskell library for creating random Data.Graph instances using several pop -
epanet-haskell
Call the EPANET toolkit via Haskell's Foreign Function Interface -
edit-distance-linear
Levenshtein edit distance in linear memory (also turns out to be faster than C++)
Less time debugging, more time building
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of exact-cover or a related project?
|
Static code analysis for 29 languages.
sponsored
www.sonarqube.org
|
Popular Comparisons
-
exact-covervsGraphSCC
-
fibonaccivspell
-
ersatzvsgraphs
-
graphsvsersatz
-
incremental-sat-solvervsinfinite-search
|
SaaSHub - Software Alternatives and Reviews
sponsored
www.saashub.com
|
README
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.
Examples
You will need to set the buildExamples flag to build the executable samples.
e.g. on stack, do
stack build --flag exact-cover:buildExamples
Sudoku
After setting the buildExamples flag above, the sudoku example can be run with
stack exec sudoku
Interesting sudoku puzzles that one might use to try out the solver:
Unsolvable “puzzle” that took Peter Norvig’s solver 1439 seconds to prove that there is no solution:
.....5.8....6.1.43..........1.5........1.6...3.......553.....61........4.........Finnish mathematician Arto Inkala’s 2006 puzzle
85...24..72......9..4.........1.7..23.5...9...4...........8..7..17..........36.4...53.....8......2..7..1.5..4....53...1..7...6..32...8..6.5....9..4....3......97..A compilation of resources, which includes lists of “hardest sudokus”.