| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Sudoku in Coq
Sudoku in Coq
Abstract : This note presents a formalisation done in Coq of Sudoku. We formalise what is a Sudoku, a Sudoku checker and a Sudoku solver. The Sudoku solver uses a naive Davis-Putnam procedure.
https://hal.inria.fr/hal-03277886
Contributor : Laurent Théry Connect in order to contact the contributor
Submitted on : Monday, July 5, 2021 - 10:38:59 AM
Last modification on : Saturday, June 25, 2022 - 11:51:00 PM
Long-term archiving on: : Wednesday, October 6, 2021 - 6:12:33 PM
Contributor : Laurent Théry Connect in order to contact the contributor
Submitted on : Monday, July 5, 2021 - 10:38:59 AM
Last modification on : Saturday, June 25, 2022 - 11:51:00 PM
Long-term archiving on: : Wednesday, October 6, 2021 - 6:12:33 PM
File
Note.pdf
Files produced by the author(s)