[Minotaur-dev] [minotaur-solver/minotaur] c7dcca: minor edit

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: c7dcca1d688098a519531dfc84e8700cb60e04bb
      https://github.com/minotaur-solver/minotaur/commit/c7dcca1d688098a519531dfc84e8700cb60e04bb
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-08-26 (Mon, 26 Aug 2019)

  Changed paths:
    M src/base/PCBProcessor.cpp

  Log Message:
  -----------
  minor edit


  Commit: e8b9f725517fd9829adad863f17f5d563737641c
      https://github.com/minotaur-solver/minotaur/commit/e8b9f725517fd9829adad863f17f5d563737641c
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-08-26 (Mon, 26 Aug 2019)

  Changed paths:
    M src/base/PCBProcessor.h
    M src/base/ParPCBProcessor.cpp

  Log Message:
  -----------
  more minor edits


  Commit: 25414cf47ba06fb94ef2cc05f5c713208e9e8e1b
      https://github.com/minotaur-solver/minotaur/commit/25414cf47ba06fb94ef2cc05f5c713208e9e8e1b
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-08-26 (Mon, 26 Aug 2019)

  Changed paths:
    M src/base/ParBranchAndBound.cpp

  Log Message:
  -----------
  some changes in parallel branch-and-bound


Compare: https://github.com/minotaur-solver/minotaur/compare/a87901353cf0...25414cf47ba0