A sudoku solver in OCaml (for the CS11 track, lab #3).