Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SAT4J
sat4j
Issues
#138
Closed
Open
Issue created
Jul 06, 2016
by
Daniel Le Berre
@leberre
Owner
Fix WBO issue found during PB 2016
A problem with WBO has been discovered during PB16. It seems that the top costs are ignored.