If you can enumerate all the rules, properties, cards, etc., it seems to me the shortest game problem can be solved with dynamic programming. :)