A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
-
Updated
Jul 25, 2021 - Coq
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
Fast, dependency-free Sudoku engine in TypeScript — generator, solver, technique-aware difficulty rater, hint engine. 4x4/6x6/9x9. Powers zeloku.com.
Add a description, image, and links to the sudoku-engine topic page so that developers can more easily learn about it.
To associate your repository with the sudoku-engine topic, visit your repo's landing page and select "manage topics."