To fill in a cell on the Sudoku board, you must prove that no other number can go there.


An Answer Set Programming program is running on the server that can infer on what a particular cell might be after it's given evidence by the player about the current state of the board.


My Contributions: