ITUBot
ITUBot is a StarCraft: Brood War 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.
