[Minotaur-dev] [minotaur-solver/minotaur] a15515: Modified naming convention of cuts.

[Meenarli Sharma]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: a1551550a2f58595f0d849f439cb0047e3cfa4a9
      https://github.com/minotaur-solver/minotaur/commit/a1551550a2f58595f0d849f439cb0047e3cfa4a9
  Author: meenarli <kukku.meenarli at gmail.com>
  Date:   2019-11-01 (Fri, 01 Nov 2019)

  Changed paths:
    M src/base/ParQGHandler.cpp

  Log Message:
  -----------
  Modified naming convention of cuts.


  Commit: a721de5c54f183dc14235849b13e0ca6bb0c8d9e
      https://github.com/minotaur-solver/minotaur/commit/a721de5c54f183dc14235849b13e0ca6bb0c8d9e
  Author: meenarli <kukku.meenarli at gmail.com>
  Date:   2019-11-01 (Fri, 01 Nov 2019)

  Changed paths:
    M src/algorithms/LSTOA.cpp
    M src/engines/Cplex/CplexMILPEngine.cpp

  Log Message:
  -----------
  Merge branch 'master' of https://github.com/minotaur-solver/minotaur


Compare: https://github.com/minotaur-solver/minotaur/compare/e31f5284bdb5...a721de5c54f1