andrey/puzzle-solver
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Puzzle solving library, written in Rust.
26 Commits 1 Branch 5 Tags 155 KiB
Rust 100%
bddb31dd5b
Go to file
David Wang bddb31dd5b Add integer division with rounding up/down. 
While these functions can be found in rational number libraries,
support for rational numbers is an extra complexity that we do not
wish to tackle at this stage.  We'll use these to keep things simple.
2017-02-28 07:58:38 +11:00
src Add integer division with rounding up/down. 2017-02-28 07:58:38 +11:00
tests Only wake affected constraints. 2017-02-25 08:17:07 +11:00
.gitignore Initial commit: puzzle solver. 2017-02-18 08:21:54 +11:00
.travis.yml Add Travis CI metadata. 2017-02-18 08:28:20 +11:00
Cargo.toml Add crates.io metadata. 2017-02-26 07:54:03 +11:00
LICENCE-MIT.txt Add licence (MIT). 2017-02-18 08:25:56 +11:00
README.md Add README. 2017-02-26 07:54:02 +11:00

README.md

Puzzle Solver Version Status

About

Solve logic puzzles by simply describing the puzzle's rules as constraints. This is suitable for solving puzzles with integer variables such as Sudoku.

Examples

A few example programs are provided in the tests/ directory:

To clone this repository, run:

git clone https://github.com/wangds/puzzle-solver.git

Then build the library and run the test programs using Cargo.

cargo test --test sudoku -- --nocapture

Basic Usage

Add Puzzle Solver as a dependency to your project's Cargo.toml:

[dependencies]
puzzle-solver = "0.1"

Documentation

Author

David Wang