add wbo as new standard-solver