В середине дня gabriel_irk пошел делать своего стратегического бота (надеюсь он сам расскажет про него), а я отправился делать оптимизированный построитель формул, который мог бы использовать уже построенные куски свои (при помощи get) и противника (при помощи copy) для более быстрого конструирования формул и реюза уже сконструированных.

Источник: 032847 ICFPC'11 newbie. Part 2. Уминание снежного кома.

Параллельно с gabriel_irk договаривались об интерфейсе построителя и его стратегического бота, дабы можно было продолжать построение формулы при следующем вызове (или начинать ее строить сначала, если изменилось значение используемых слотов).

Источник: 032847 ICFPC'11 newbie. Part 2. Уминание снежного кома.