Participating Solvers

Solver Descriptions

MSE 2023 solver and benchmark description compilation is available.

Solver Sources

Exact Solvers

• CASHWMAXSAT-CorePlus-m
• CASHWMAXSAT-CorePlus
• CGSS2
• EvalMaxSAT
• MaxCDCL
• WMaxCDCL
• Open-WBO
• Pacose

Anytime Solvers

• Loandra
• TT-Open-WBO-Inc
• NuWLS-c-static
• NuWLS-c-Band
• NuWLS-c-FPS
• noSAT-MaxSAT