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