MaxSAT Evaluation 2018
Affiliated with SAT 2018 at the Federated Logic Conference 2018   ·   July 9-12   ·   Oxford, UK

Participating Solvers

Solver Descriptions

A compilation of descriptions of the individual solvers participating in the evaluation, together with descriptions of contributed benchmarks, is available here.

Solver Sources

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

Complete Solvers

Incomplete Solvers