[Minotaur-dev] [minotaur-solver/minotaur] 332144: some more bug fixes

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 3321446bc0a4761d8c662744b4b2d63d637eba20
      https://github.com/minotaur-solver/minotaur/commit/3321446bc0a4761d8c662744b4b2d63d637eba20
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2019-06-19 (Wed, 19 Jun 2019)

  Changed paths:
    M src/algorithms/Bnb.cpp
    M src/base/BndProcessor.cpp
    M src/base/BranchAndBound.cpp
    M src/base/Environment.cpp
    M src/base/Node.cpp
    M src/base/NodeIncRelaxer.cpp
    M src/base/PCBProcessor.cpp
    M src/base/ReliabilityBrancher.cpp
    M src/engines/FilterSQP/FilterSQPEngine.cpp

  Log Message:
  -----------
  some more bug fixes