Puzzles solved by GLPK