tools for a Colonel Blotto game  (see: http://en.wikipedia.org/wiki/Blotto_games)