[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