Sudoku - Solving Sudoku in Guile using SAT

Solving Sudoku in Guile using SAT

Thomas White

summary refs log tree commit diff

Mode	Name	Size
d---------	guile / sat	30	log plain
-rw-r--r--	sudoku.scm	2954	log plain

generated by cgit v1.2.3 (git 2.25.1) at 2024-05-17 20:28:44 +0000