[Minotaur-dev] [minotaur-solver/minotaur] 70ee5e: Convert a cgraph to qf

[Sudhindra Katre]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 70ee5e35286db9b1135634f52a6c8dac4bd27f85
      https://github.com/minotaur-solver/minotaur/commit/70ee5e35286db9b1135634f52a6c8dac4bd27f85
  Author: Sudhindra Katre <sudhindra0828 at gmail.com>
  Date:   2019-03-20 (Wed, 20 Mar 2019)

  Changed paths:
    M src/algorithms/Bnb.cpp
    M src/base/Environment.cpp
    M src/base/Problem.cpp
    M src/base/Problem.h

  Log Message:
  -----------
  Convert a cgraph to qf