Thank you for your interest in our work.

  • Open-WBO is now available at Github:
  • 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.

    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: