(By Chris Kuklewicz, usual BSD license. A haskell-ized version of Knuth's dancing links algorithm. This algorithm can be used to solve any binary cover problem. Here is it applied to make a Sudoku solver. This is linked to from the "Sudoku" page. )