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

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