Hacker News new | ask | show | jobs
Solving Sudokus in Python Using a SAT-Solver (nickp.svbtle.com)
2 points by nickponline 3827 days ago