Skip to content
GitLab
Explore
Sign in
RandomPlayer can choose also ditch moves or the end move
Code
Review changes
Check out branch
Download
Patches
Plain diff
Hans-Georg Sommer
requested to merge
endmove
into
master
Jul 06, 2018
Overview
3
Commits
1
Pipelines
2
Changes
4
Expand
End move can be selected by an interactive player if appropriate
Clean up unused imports im RandomPlayer
Fixes
#3 (closed)
Changes in mcts/State are to prevent compiling errors
Merge request reports