Open-WBO-Inc is an open-source incomplete solver for MaxSAT. Often, real-world applications demand a good answer to MaxSAT optimization problem very quickly. Incomplete solvers strive to find a good answer very fast but may not guarantee optimality of the provided answer.
Open-WBO-Inc has won several accolades at international arena. In addition, it serves as a platform on top of which other award winning solvers such as Loandra and TT-Open-WBO-Inc has been built.
- MaxSAT Evaluation 2019: 2 Bronze
- MaxSAT Evaluation 2018: 1 Gold, 1 Silver