ITUBot is a StarCraft Broodwar AI Bot that implements and modifies Certicky's wall-in algorithm created using logic programming.
The problem is formulated as a constraint satisfaction problem and solved by the Potsdam University's ASP (Answer Set Programming) solver: clasp. The solver is tested with two optimization modes: gap minimization and resource cost minimization. A detailed report about the analysis is generated. The report contains:
- Basic bot architecture
- A step by step explanation of Certicky's modified algorithm
- Algorithm run times for each optimization criteria on several different maps
- Differences in the layout of the buildings in the solution between different optimization criteria
- Related studies and future work