Exact Cover solver with color extensions
A resolver of combinatorial number-placement puzzles, like Sudoku.