AMPL code for Starcraft II economy optimizations.