[Minotaur-dev] [minotaur-solver/minotaur] a92dc9: using relaxation for LP tightening

[Mustafa Vora]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: a92dc9774762bcfe1d2223e4d08e029a1ce2579c
      https://github.com/minotaur-solver/minotaur/commit/a92dc9774762bcfe1d2223e4d08e029a1ce2579c
  Author: Vora Mustafa Makbul <mustafa.vora at iitb.ac.in>
  Date:   2021-04-02 (Fri, 02 Apr 2021)

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

  Log Message:
  -----------
  using relaxation for LP tightening