Some slides the summarise the format for COAs and the available material (powerpoint format).
critiques-combat-power.plans, rules that we developed for relative combat power of units, written in the Expect language.
Other raw KB files used for the year 2 COA critiquing problem, in CycL format. I will label these.
The raw KB files used for the year 1 workarounds problem.