Solver for assigning values to cells via constraint propagation (e.g. Sudoku, Zebra puzzle, seating plan) - View it on GitHub