This is a MaxSAT solver QMaxSAT 14.04g2 (pms-mode). It is a SAT-based solver and uses glucose2.0 as an underlying SAT solver. Currently, QMaxSAT deals with MS, PMS, WMS and WPMS instances. > ./qmaxsat14.04pms-glucose2_static