[Minotaur-dev] [minotaur-solver/minotaur] 2968de: max_vio in QuadHandler::postSolveRootNode

[Mustafa Vora]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 2968de766d8674f83914452dfb611bf5ee9826ca
      https://github.com/minotaur-solver/minotaur/commit/2968de766d8674f83914452dfb611bf5ee9826ca
  Author: Mustafa Vora <mustafa.vora at iitb.ac.in>
  Date:   2021-08-09 (Mon, 09 Aug 2021)

  Changed paths:
    M src/base/QuadHandler.cpp

  Log Message:
  -----------
  max_vio in QuadHandler::postSolveRootNode