Visualization software for branch-and-bound algorithms