Crate puzzle_solver

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

Re-exports

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 Aliases

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).