MaxSAT Evaluation 2022
Affiliated with SAT 2022   ·   August 2-5   ·   Haifa, Israel

Participating Solvers

Solver Descriptions

MSE 2022 solver and benchmark description compilation is available here.

Solver Sources

Complete Solvers

Incomplete Solvers

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.