lib(branch_and_bound)

   Generic branch-and-bound optimization

