[Minotaur-dev] [minotaur-solver/minotaur] e32a87: Resolving some errors.
Prashant Palkar
noreply at github.com
Sat Sep 19 01:33:00 CDT 2020
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: e32a875f1126e00c8ea54ea800157af0afaf355a
https://github.com/minotaur-solver/minotaur/commit/e32a875f1126e00c8ea54ea800157af0afaf355a
Author: ppalkar <ppalkar.iitb at gmail.com>
Date: 2020-09-19 (Sat, 19 Sep 2020)
Changed paths:
M src/base/UnambRelBrancher.cpp
M src/base/UnambRelBrancher.h
Log Message:
-----------
Resolving some errors.
Commit: 31c5bb821d62cfacc095d36ae02477c0481eaef9
https://github.com/minotaur-solver/minotaur/commit/31c5bb821d62cfacc095d36ae02477c0481eaef9
Author: ppalkar <ppalkar.iitb at gmail.com>
Date: 2020-09-19 (Sat, 19 Sep 2020)
Changed paths:
M src/base/CMakeLists.txt
M src/base/Environment.cpp
Log Message:
-----------
Merge branch 'master' of ssh://github.com/ashutoshmahajan/minotaur
Compare: https://github.com/minotaur-solver/minotaur/compare/98c586925aa0...31c5bb821d62
More information about the Minotaur-dev
mailing list