joelverhagen/Sudoku-Solver-in-Clasp-Gringo

Sudoku-Solver-in-Clasp-Gringo - A Sudoku solver written in Clasp / Gringo, which is answer set programming.