Open-WBO MaxSAT Solver

Thank you for your interest in our work.

Open-WBO is now available at Github:

Open-WBO version that won several awards at the MaxSAT Evaluation 2017
https://github.com/sat-group/open-wbo

If you are interested in the older release of Open-WBO (winner of the MaxSAT Evaluation 2014), please fill out the form bellow.
An email will be sent to you with a link to download the source files.

Solver

Name

Affiliation

Reason

If you wish to tell us the reason for downloading the solver.

If you use Open-WBO in your research work please cite the following paper:

Ruben Martins, Vasco Manquinho, Inês Lynce: Open-WBO: A Modular MaxSAT Solver. SAT 2014: 438-445

Download

If you use Open-WBO in your research work please cite the following paper: