Issue 503. Extend GameTreeRep to keep track of the total number of non-terminal nodes in the game
#1461
lint.yml
on: pull_request
clang-format
1m 24s
clang-tidy
5m 38s
ruff
11s
flake8
6s
cython-lint
16s