Corona SDK действительно классная вещь, но у нее очень много минусов. Ознакомится с минусами можно хоть в Википедии.
LibGDX — также не плохая штука, но мой опыт с ней был немного не приятным.
AndEngine — выше всяких похвал. Очень хорошая структура кода и большие возможности. сравнительно малый порог вхождения, но также есть минусы такие как отсутствие нормальной документации и потеря в производительности за счет использования везде списков.
— Я для себя выбрал AndEngine потому что с ним очень приятно работать.