from Hacker News

Solving Sudokus in Python Using a SAT-Solver

by nickponline on 12/28/15, 1:23 AM with 0 comments