Paper-and-pencil puzzles
Every puzzle checked one by one
Six puzzle books, and a free puzzle to print every day
Every grid in these books was generated and checked by computer before it was printed: one solution, found by actually searching for it, and solvable by reasoning. The ones that failed either test are not in the books.
Classic sudoku, 16×16 sudoku, killer sudoku, nonograms, kakuro — and the catku, a puzzle that did not exist before: a house seen from above, where you have to find the cat.