Overview for logic-puzzles