Encodes, solves, and decodes the exact cover problem via reduction to SAT

Exact cover with colours solver for python

A user friendly implementation of Knuth's dancing links algorithm for exact cover search.

Donald Knuth's Algorithm 7.2.2.1M for covering with multiplicities and colors via dancing links

Rust implementation of Knuth's Algorithm X

A simple and hackable exact cover solver inspired by Donald Knuth's Fascicle 5

Generic, reusable and well documented public domain "exact cover with colors" solver, with examples. (Backup repository)

Rust implementation of Knuth's Algorithm X for solving exact cover problems

A repository that explores how to apply Donald Knuth's Algorithm X via Dancing Links to Pokémon type coverage.

Implementing Energy Efficient Algorithms

Exact Cover problem generator and solver

Implementation of different Exact Cover Solvers and a benchmark with Sudokus.

Exact cover solver with Dancing Links and Algorithm X, written in pure python

A moderately fast sudoku solver in python using Algorithm X and exact cover. I did this for a module at university. [Awarded 100%]

A playground to play with dancing links

Progetto per il corso di Algoritmi e Strutture Dati dell'Università degli Studi di Brescia, AA 2021/2022.

Algorithm X and Dancing Links Visualizer

Exact Cover Sudoku Solver

An efficient backtracking algorithm that solves instances of the Exact Cover problem.

C++ Implementation of Dancing Links Algorithm