Based on RAxML's PlausibilityChecker, the RF-Opt algorithm compares a large phylogeny with a set of small trees and optimizes the average Robinson Fould distance via pruning. - View it on GitHub