Sudoku Solver

This page lets you solve your Sudoku. The position is entered by clicking on the different squares of the Sudoku. For example, 5 is put on an empty square by clicking five times on it. Once the position is entered, click on the "Solve" button to solve it. If you want to start from scratch, click on the "Clear" button.

This code has been proved correct in the Coq proof assistant. A paper that explains the algorithm that is used can be found here. We use js_of_ocaml to include OCaml code inside an HTML page.