github.com/rkkautsar/sudoku-solver (go): SAT-based Sudoku Solver
Keywords: sat|sudoku|sudoku-solver