Puzzles solved by EDGA