Ataraxos, a Stratego AI, and decision-making with hidden information · Digg