Logic library
Reason your way through.
Good logic puzzles give you enough information to make a forced move. They do not ask you to read the author's mind.
Evidence-chain puzzles
Evidence-chain puzzles combine ordering constraints, fixed positions, distances, and immediate relationships. Each clue narrows one shared timeline until only one sequence survives.
Zebra and logic-grid puzzles
Zebra puzzles are relational logic-grid puzzles that connect categories such as people, places, and objects. Solvers record confirmed matches and exclusions across intersecting grids until each item has exactly one partner in every category.
Kakuro number puzzles
Kakuro combines crossword-style runs with arithmetic. Every white run must reach its clue sum, and no digit may repeat within that run.