puzzle 4 Lingo 解谜笔记 Mar 21, 2024 Mechanical Puzzles Addiction Jan 12, 2024 华容道求解器 klotski solver Dec 11, 2023 puzzlecad 机械谜题建模笔记 Nov 17, 2023