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

Call for Solvers

MaxSAT Evaluation 2018 invites submissions of MaxSAT solvers for evaluation.

Before Registering a Solver

Please read carefully the rules and details on the evaluation tracks and execution environment before proceeding with submitting your solver.

Submission Procedure

Details on how to submit a solver for evaluation are provided on a separate page here.