Participating Solvers

Solver Descriptions

MSE 2022 solver and benchmark description compilation is available here.

Solver Sources

Complete Solvers

• CGSS
• Cashwmaxsat-CorePlus
• Cashwmaxsat-Plus
• EvalMaxSAT
• Exact
• MaxCDCL
• MaxHS
• Open-WBO
• UWrMaxSat-SCIP
• UWrMaxSat
• WMaxCDCL-BandAll
• WMaxCDCL

Incomplete Solvers

• Loandra
• DT-HyWalk
• TT-Open-WBO-Inc
• Open-WBO-Inc (inc-bmo-complete)
• Open-WBO-Inc (inc-bmo-satlike)
• NuWLS-c
• noSAT-MaxSAT

Incremental Solvers

Solvers which participated to the incremental track are available in the IPAMIR repository. Each solver has been added as a submodule to the maxsat directory.