Software
Open-WBO
Open-source MaxSAT solver that can be easily modified and extended.
Awards:
• MaxSAT Evaluation 2015: 1 gold medal, 1 silver medal
• MaxSAT FLoC Olympic Games 2014: 2 gold medals
• MaxSAT Evaluation 2014: 1 gold medal, 1 silver medal
WBO
Boolean optimization solver that can solve Weighted Boolean Optimization, Pseudo-
Boolean optimization, 0-1 Integer Linear Programming, and MaxSAT problems.
Awards:
• MaxSAT Evaluation 2012: 1 gold medal, 1 bronze medal
• MaxSAT Evaluation 2011: 1 silver medal, 1 bronze medal
PWBO
Parallel Boolean optimization solver based on WBO.
Awards:
• MaxSAT Evaluation 2012: 1 gold medal, 1 bronze medal
• MaxSAT Evaluation 2011: 1 silver medal, 1 bronze medal