Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Issues
#138
Fix WBO issue found during PB 2016
A problem with WBO has been discovered during PB16. It seems that the top costs are ignored.