Proof Number search: exhaustively search a game tree to prove win or lose

2 points | by fanf2 8 hours ago