Solving paper-and-pencil puzzles is fun for people, and their analysis is also an essential
issue in computational complexity theory. There are some practically efficient solvers for …