Participating Solvers

Solver Descriptions

The MSE 2021 solver and benchmark description compilation is available here.

Solver Sources

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

• EvalMaxSAT (unweighted)
• EvalMaxSAT (weighted)
• MaxHS
• CASHWMaxSAT
• Exact
• Open-WBO-RES
• Pacose
• UWrMaxSat

• Loandra
• StableResolver
• TT-Open-WBO-Inc
• Open-WBO-Inc (inc-bmo-complete)
• Open-WBO-Inc (inc-bmo-satlike)
• SATLike-c
• SATLike-ck