Random split polytomy#815

Merged

mergify[bot] merged 2 commits intotskit-dev:mainfrom

hyanwong:random-split-polytomy

Nov 21, 2020

Commits on Nov 20, 2020

Implement equiprobable topology polytomy breaking function

hyanwong
authored and
jeromekelleher
committed

Commits on Nov 21, 2020

Move the polytomy splitting code to Tree.
jeromekelleher
committed