[Haskell] ANN: set-cover solves Sudoku, Soma cube, 8 Queens etc.