Branch-and-Bound Analysis Kit (BAK)