Solving Sudokus in Python Using a SAT-Solver Posted by nickponline on Sunday December 27, 2015 @08:23PM from the nickp.svbtle.com dept. http://nickp.svbtle.com/sudoku-satsolver ( no comments | 2 points | on HN )
There are no comments yet.