| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-04-03 | Add example inputmain | Thomas White |
| 2022-04-03 | Add better read/write | Thomas White |
| 2022-04-03 | Fix terminology | Thomas White |
| 2022-04-03 | Specialise to board size 9 | Thomas White |
| 2022-04-03 | Clean up (sort of) | Thomas White |
| 2022-03-27 | Test data | Thomas White |
| 2022-03-27 | Working solver | Thomas White |
| 2022-03-27 | Initial commit | Thomas White |
 |
index : Sudoku | |
| Solving Sudoku in Guile using SAT | Thomas White |
| summaryrefslogtreecommitdiff |