package coq-sudoku

  1. Overview
  2. No Docs
Sudoku solver certified in Coq

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

  1. L
    Laurent Théry

Maintainers

  1. P
    palmskog@gmail.com

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-19

Published: 19 Oct 2022

Dependencies (1)

  1. coq >= "8.12" & < "8.20"

Dev Dependencies

None

Used by

None

Conflicts

None