Sudoku A simple Sudoku solver using LogicT. Build / run / test: cabal build cabal run sudoku test/golden/puzzles.txt cabal test --test-show-details=direct