Takuzu

A library and a binary for solving Takuzu (a.k.a. Binairo) number puzzles.

Documentation

See the documentation and the example grids.

Usage

To use the solver:

cargo install takuzu
takuzu [FILE]...

lib.rs:

A library for solving Takuzu (a.k.a. Binairo) number puzzles.

About

Takuzu is a number puzzle, sometimes called binary sudoku. The objective is to fill a grid with 0s and 1s while observing the following rules:

• no more than two zeros or two ones adjacent to each other in any direction.
• each row and each column must contain an equal number of 0s and 1s.
• no two rows and no two columns are the same.

The grids are squares of even size. A valid grid must have one and only one solution. The solver will find and return all valid solutions though.

Input format

For parsing, the grids must be represented with the following characters: 0, 1, . for a missing number, and one \n at the end of each row. The final \n may be omitted.

Example grids