puzzle-solver (cargo): Solve logic puzzles by describing their constraints.  Suitable for puzzles such as Sudoku and Kakuro.
Keywords: puzzle|finite|constraint|sudoku|domain