kztk/sudoku-minisat archive