package coq-sudoku
Sudoku solver certified in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.16.0.tar.gz
sha512=4d3c9f25218d48dd68df3db19d2b84f0d9f95eb96a3206627095b76cbdfb4a36a7492067743882769f0afd4fc73b935ebf4fa4301af04ba3f75aaaeea898c2d8
Description
A formalisation of Sudoku in Coq. It implements a naive Davis-Putnam procedure to solve Sudokus.
Tags
category:Miscellaneous/Logical Puzzles and Entertainment keyword:puzzles keyword:Davis-Putnam keyword:sudoku logpath:Sudoku date:2022-10-19Published: 19 Oct 2022
On This Page