QMaxSAT

QMaxSAT: A Partial Max-SAT Solver. QMaxSAT is a partial MaxSAT solver based on SAT solver MiniSat. The solver is available under the MIT licence. QMaxSAT became a weighted partial MaxSAT solver in 2014.