This is a MaxSAT solver QMaxSAT 14.07g3 (auto-mode). It is a satisfiability-based solver and uses glucose3.0 as an underlying SAT solver. Currently, QMaxSAT deals with MS, PMS, WMS and WPMS instances. > ./qmaxsat14.07auto-glucose3_static