[Minotaur-dev] [minotaur-solver/minotaur] e00a91: Renamed QG2 to QG
Meenarli Sharma
noreply at github.com
Fri Aug 6 14:13:41 CDT 2021
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: e00a91bbb68cb4c90edb03f5fda96b8f637fea75
https://github.com/minotaur-solver/minotaur/commit/e00a91bbb68cb4c90edb03f5fda96b8f637fea75
Author: Meenarli Sharma <kukku.meenarli at gmail.com>
Date: 2021-08-06 (Fri, 06 Aug 2021)
Changed paths:
M src/solvers/Glob.cpp
Log Message:
-----------
Renamed QG2 to QG
More information about the Minotaur-dev
mailing list