ddidderr
55f5136040
Keep the workspace lint configuration in its own Cargo metadata table instead of letting it follow the dependency table directly. This makes the manifest layout explicit for future dependency additions and keeps lint policy visibly separate from package dependencies. There is no runtime behavior change. Users should see the same binary behavior, while maintainers get a clearer manifest structure. Test Plan: - cargo clippy - cargo clippy --benches - cargo clippy --tests - cargo +nightly fmt - cargo clippy - cargo clippy --benches - cargo clippy --tests Refs: none
sudoku-ai
sudoku-ai solves plain-text Sudoku files from the command line:
./sudoku-ai <sudoku_file>
Input is a whitespace-separated grid. Use 0 for empty cells and decimal
values for filled cells:
0 2 3 0 0 0 4 5 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
The grid width must equal the grid height, and the size must have square blocks. That supports layouts such as 4x4 with 2x2 blocks, 9x9 with 3x3 blocks, and 16x16 with 4x4 blocks.
Example puzzles live in sudoku-examples/. For instance:
cargo run -- sudoku-examples/hard.sudoku
cargo run -- sudoku-examples/extreme.sudoku
Project Decomposition
- Command-line interface:
src/main.rs- Parses the
./sudoku-ai <sudoku_file>argument shape. - Reads puzzle text from disk.
- Prints the solved grid or a user-facing error.
- Parses the
- Example puzzles:
sudoku-examples/- Stores reusable plain-text Sudoku inputs for manual solver checks.
- Solver library:
src/lib.rs- Plain-text parser
- Ignores blank lines.
- Validates square dimensions, block shape, and value ranges.
- Constraint model
- Stores each candidate set in a
u128bit mask. - Precomputes row, column, and block units for each cell.
- Precomputes peer cells for fast candidate elimination.
- Stores each candidate set in a
- Deduction engine
- Propagates placed values to all peers.
- Fills naked singles when a cell has one candidate.
- Fills hidden singles when a unit has one possible place for a value.
- Search engine
- Runs deduction until it stalls.
- Chooses the unsolved cell with the fewest candidates.
- Tries high-impact candidates first, then resumes deduction after each assumption.
- Plain-text parser