Crate puzzle_solver [−] [src]
This crate searches for the solutions to logic puzzles. The puzzle rules are expressed as constraints.
Constraint trait, and some common constraints.
A linear expression.
The puzzle to be solved.
Intermediate puzzle search state.
A dictionary mapping puzzle variables to the solution value.
A puzzle variable token.
The type of the coefficients in a linear expression.
A result during a puzzle solution search (Err = contradiction).
The type of a puzzle variable's value (i.e. the candidate type).