Species tree inference from genome-wide population data.
Takes incomplete lineage sorting into account.
Analytical solution of stationary distribution and formal proof of reversibility.
Reversibility ensures swiftness and stability.
Increase of sample size per species improves estimations without raising runtime.
Comparison to the Wright-Fisher diffusion.