[Minotaur-dev] [coin-or/minotaur] 87d235: Fixed bugs in stronger branching

[Mustafa Vora]

  Branch: refs/heads/master
  Home:   https://github.com/coin-or/minotaur
  Commit: 87d235915660d8c7a00a4c75b923122a0ed88238
      https://github.com/coin-or/minotaur/commit/87d235915660d8c7a00a4c75b923122a0ed88238
  Author: Mustafa Vora <mustafa_vora712 at yahoo.com>
  Date:   2023-06-08 (Thu, 08 Jun 2023)

  Changed paths:
    M src/base/Handler.cpp
    M src/base/Handler.h
    M src/base/StrongBrancher.cpp
    M src/base/StrongBrancher.h

  Log Message:
  -----------
  Fixed bugs in stronger branching