[Minotaur-dev] [minotaur-solver/minotaur] ca3962: Removing critical section from brancher functions.

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: ca3962c299c686c70d947ac73a0e6a92ce29da37
      https://github.com/minotaur-solver/minotaur/commit/ca3962c299c686c70d947ac73a0e6a92ce29da37
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2020-10-22 (Thu, 22 Oct 2020)

  Changed paths:
    M src/base/ParReliabilityBrancher.cpp

  Log Message:
  -----------
  Removing critical section from brancher functions.

The findBranches() function has been made critical (with solPool tag)
because it uses the best solution found from the pool which can change
depending upon another thread finding a better solution.