Crate puzzle_solver

This crate searches for the solutions to logic puzzles. The puzzle rules are expressed as constraints.

Reexports

pub use constraint::Constraint;

Modules

constraint

Constraint trait, and some common constraints.

Structs

Puzzle	The puzzle to be solved.
PuzzleSearch	Intermediate puzzle search state.
Solution	A dictionary mapping puzzle variables to the solution value.
VarToken	A puzzle variable token.

Type Definitions

Val	The type of a puzzle variable's value (i.e. the candidate type).