This solver is an improved version of Eva-solver from the "Maximum Satisfiability using core-guided MAXSAT Resolution" paper(AAAI2014).