Evaluate situations of the board game Havannah with binary decision diagrams.