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

LinExpr	A linear expression.
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

Coef	The type of the coefficients in a linear expression.
PsResult	A result during a puzzle solution search (Err = contradiction).
Val	The type of a puzzle variable's value (i.e. the candidate type).