Participating Solvers

Solver Descriptions

A compilation of descriptions of the individual solvers participating in the evaluation, together with descriptions of contributed benchmarks, will be available soon.

Solver Sources

The source codes of the individual solvers that participated in MSE 2019 are available below.

• MaxHS
• maxino
• Open-WBO
• Pacose
• QMaxSAT
• RC2
• UWrMaxSat

Incomplete Solvers

• LinSBPS
• Loandra
• Open-WBO
• Open-WBO-Inc (inc-bmo-complete)
• Open-WBO-Inc (inc-bmo-satlike)
• SATLike (unweighted)
• SATLike (weighted)
• sls-mcs
• TT-Open-WBO-Inc
• UWrMaxSat