sudogame✨ **A new fast, light and comprehensive Sudoku library, powered by SAT encoding!** ✨sudokusudoku-solversudoku-generatorminisat2.0.1 • Published 11 months ago