Software
CAMUS
CAMUS (Constrained Algorithm Maximizing qUartetS) is a dynamic programming algorithm for inferring level-1 phylogenetic networks from quartets and a constraint tree. Given a rooted binary constraint tree T and a list of input trees G, the CAMUS algorithm finds the level-1 networks inducing the maximum number of quartets from G that contains the constraint tree T.
DISCO
Decomposition Into Single-COpy gene trees (DISCO) is a method for decomposing multi-copy gene-family trees while attempting to preserve orthologs and discard paralogs. These single-copy gene trees can be subsequently used by methods that can estimate species trees from single-copy gene trees such as ASTRAL or ASTRID in order to obtain an accurate estimation of the species tree. Additionally, DISCO can be paired with concatenation analysis with methods such as RAxML.