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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element