top | new | best | ask | show | jobs | submit

ms013's submissions

Solving Sudoku via SAT with Mathematica (syntacticsalt.com)

2 pts| 10 years ago | discuss

page 1

powered by hn/api // news.ycombinator.com