Thank you for your interest in our work. Please fill out the form. An email will be sent to you with a link to download the solver.

We have for download the following solvers:

• wbo 2.0 : version 2.0 of wbo solver (32-bit).
• pwbo 2.2 : version 2.2 of pwbo solver (64-bit).
• pwbo 2.2 (2T) : version 2.2 of pwbo solver specifically configured with only two threads. This is the version used in the 2012 PB and MaxSAT solver evaluations (32-bit).

All available downloads are statically linked for Linux. If this is a problem for you, let us know.

If you have any question regarding our solvers, check the solver's webpage and feel free to contact us. We are always happy to ear from people using our software.