Building a Tool for Battle Planning: Challenges, Tradeoffs, and Experimental Findings Alexander Kott, Ray Budd, Larry Ground, Lakshmi Rebbapragada, and.