[Minotaur-dev] [minotaur-solver/minotaur] 9e169a: violation based termination in scheme 1

Meenarli Sharma noreply at github.com
Mon Jun 17 23:59:45 CDT 2019


  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 9e169a771a6f5258b6a646825c154787f26d2570
      https://github.com/minotaur-solver/minotaur/commit/9e169a771a6f5258b6a646825c154787f26d2570
  Author: meenarli <kukku.meenarli at gmail.com>
  Date:   2019-06-18 (Tue, 18 Jun 2019)

  Changed paths:
    M src/base/QGHandler.cpp

  Log Message:
  -----------
  violation based termination in scheme 1


  Commit: 83fb38510a7a645c6d63d198a3e03010de368247
      https://github.com/minotaur-solver/minotaur/commit/83fb38510a7a645c6d63d198a3e03010de368247
  Author: meenarli <kukku.meenarli at gmail.com>
  Date:   2019-06-18 (Tue, 18 Jun 2019)

  Changed paths:
    M scripts/daily-lnx-iit-test.sh
    M src/base/NlPresHandler.cpp
    M src/base/NlPresHandler.h

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


Compare: https://github.com/minotaur-solver/minotaur/compare/396420c177dc...83fb38510a7a


More information about the Minotaur-dev mailing list