[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