The Game of Hex: An Automatic Theorem Proving Approach to Game Programming