It's gamemaker, judging by the exe's icons + splashscreen
mac + linux exports cost extra if you bought pro edition before may 18 (may 18th and on, mac + linux is included in pro edition, just for extra $50)
decent engine, I use it sometimes, but it has its glitches and quirks
I would use ENIGMA...