Added Branch and Bound solver.