Crate dancing_links

Implementation of Dancing Links and Algorithm X for solving exact cover problems.

Modules

grid

Dancing links Grid implementation for use in the Solver.

latin_square

A Latin square is a n × n array filled with n different symbols, each occurring exactly once in each row and exactly once in each column.

queens

The n queens puzzle is the problem of placing n chess queens on an n×n chessboard so that no two queens threaten each other.

sudoku

A Sudoku puzzle is a n^2 × n^2 array with sub-arrays of size n × n. Each row, column, and sub-array contains the values 1 through n with no repeats.

Structs

Solver

Solver that iteratively returns solutions to exact cover problems.

Traits

ExactCover

An instance of an exact cover problem.