[Minotaur-dev] [minotaur-solver/minotaur] 607627: some changes in ParReliability brancher

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 60762700f53f5deb8f1fb4ccce0bca177dca6b12
      https://github.com/minotaur-solver/minotaur/commit/60762700f53f5deb8f1fb4ccce0bca177dca6b12
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-09-04 (Wed, 04 Sep 2019)

  Changed paths:
    M src/base/ParReliabilityBrancher.cpp
    M src/base/ParReliabilityBrancher.h

  Log Message:
  -----------
  some changes in ParReliability brancher