The Elm Game: Optional end-game automation

There is now an option to automatically finish the game when both players are out of meaningful options in the late game. Usually after the 50th ply or so there are no more strategic choices to be made. The computer wil…