WingNews
top
|
new
|
best
|
ask
|
show
|
jobs
|
submit
GitHub
[2]
ms013
's submissions
Solving Sudoku via SAT with Mathematica
(syntacticsalt.com)
2 pts
|
10 years ago
|
discuss
page 1