Optimal Caverna Gameplay via Formal Methods (via ehamberg) — discussion

#formalmethods