ms013

↗ HN profile [ 75.6 ms ] full profile

Karma: 326
Created: September 3, 2013 (13y ago)
Submissions: 0

Solving Sudoku via SAT with Mathematica (syntacticsalt.com)

2 points 10y ago 0