Solve logic puzzles by simply describing the puzzle's rules as constraints. This is suitable for solving puzzles with integer variables such as Sudoku.
A few example programs are provided in the tests/ directory:
To clone this repository, run:
sh
git clone https://github.com/wangds/puzzle-solver.git
Then build the library and run the test programs using Cargo.
sh
cargo test --test sudoku -- --nocapture
Add Puzzle Solver as a dependency to your project's Cargo.toml:
toml
[dependencies]
puzzle-solver = "0.1"
David Wang