Call for Solvers
MaxSAT Evaluation 2022 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.