MSUnCore is a software system for solving (Weighted) (Partial) Maximum Satisfiability (MaxSAT), and implements a number of different algorithms. Most of the MaxSAT algorithms implemented in MSUnCore are based on iterative identification of unsatisfiable cores. 
The particular algorithm used in this version is BCD2 (MHMS-SAT12) with an optimization on the identification of unsatisfiable cores with larger weights (based on stratification technique of ABL-AIJ13).