| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Add example input | Thomas White | 2 years | |
| Age | Commit message | 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 |