sudoku-sat-1.0.0.tar.gz