Sort:  

how would one even get a bot to play? Same formation over and over again until they win enough DEC? That would be nice...

no, get an algorithm to adapt to see which formation wins more then others. Bots are smart these days :-)