disable lin=2 in lp_br

2020-08-25 14:11:56 +02:00
parent c8eecc967a
commit b9c71dc315
1 changed files with 0 additions and 1 deletions
--- a/ortools/sat/cp_model_search.cc
+++ b/ortools/sat/cp_model_search.cc
@@ -416,7 +416,6 @@ SatParameters DiversifySearchParameters(const SatParameters& params,
      // TODO(user): Disable lp_br if linear part is small or empty.
      if (--index == 0) {
        new_params.set_search_branching(SatParameters::LP_SEARCH);
-        new_params.set_linearization_level(2);
        *name = "lp_br";
        return new_params;
      }