[Minotaur-dev] [minotaur-solver/minotaur] 891e1f: no root linearization by default
Meenarli Sharma
noreply at github.com
Mon Jun 17 14:40:15 CDT 2019
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: 891e1f9990dff2be14eef058d241ec924598061c
https://github.com/minotaur-solver/minotaur/commit/891e1f9990dff2be14eef058d241ec924598061c
Author: meenarli <kukku.meenarli at gmail.com>
Date: 2019-06-17 (Mon, 17 Jun 2019)
Changed paths:
M src/base/Environment.cpp
Log Message:
-----------
no root linearization by default
More information about the Minotaur-dev
mailing list