Published October 6, 2025
| Version v1
Software
Open
Sudoku solver verified in Coma
Description
The reader will find the Coma program and its Why3 session in the zip file.
Additionnally, there is an installation script.
Files
artifact.zip
Files
(5.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:247a409b4abdd1d58909dca73189b0c2
|
5.5 kB | Preview Download |