Sudoku and the way of the SAT solverbramcohen.livejournal.com7 points·ash··1 commentOpen articleSaveView on HN