HN
Hacker News
Top
New
Best
Ask
Show
Jobs
ms013
326 karma · joined September 3, 2013
submissions
comments
Solving Sudoku via SAT with Mathematica
syntacticsalt.com
·
2 pts
·
ms013
·
0