Crate mathdoku

Expand description

Mathdoku puzzle generator and solver.

Type	Role
`Cell`	A grid position identified by `(row, column)`, 1-indexed.
`Fill`	A bitmap set of candidate values `1..=9` for a cell.
`Polyomino`	A connected set of cells forming a cage shape.
`Puzzle`	An `n×n` cage structure with constraint propagation.
`CageOperator`	The arithmetic operator for a cage (`Add`, `Subtract`, etc.).

Generate a random puzzle with generate().
Construct a puzzle programmatically with Puzzle::new and Puzzle::insert.
Inspect cell values with Puzzle::get.
Solve with Puzzle::solutions.
Query valid operators for a polyomino with operators_for.

Structs§

Cage: A cage: a connected group of cells subject to an arithmetic constraint.
Cell: A grid position identified by (row, column), both 1-indexed.
Fill: The set of candidate values for a cell, stored as a u16 bitmap.
Operation: The arithmetic operation for a cage: operator and target value.
Polyomino: A set of edge-adjacent cells.
Puzzle: A Mathdoku puzzle: an n×n grid partitioned into cages, each with an arithmetic constraint.

generate: Generates a random n×n puzzle using the default operation policy and a default Poisson size distribution.
generate_latin_square: Generates a uniformly random n×n Latin square using the Jacobson-Matthews Markov chain.
init_debug_logging: Initialises debug logging if the MATHDOKU_DEBUG environment variable is set to 1.
operators_for: Returns all operators valid for polyomino’s size (without domain-based filtering).

N: A Fill value or grid dimension in the range 1..=9.
Operator: Alias for CageOperator.
T: The accumulated result of an arithmetic cage operation (sum or product of N values).
Target: Alias for T.