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: