sudogame

✨ **A new fast, light and comprehensive Sudoku library, powered by SAT encoding!** ✨