Puzzles solved by ConBarr