From 3d24c91fd08dffdf458da1076d80f5b85ddbdd7f Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Tue, 30 Apr 2019 22:12:57 +0200 Subject: [PATCH] correctly type default value in sat_parameters.proto --- ortools/sat/sat_parameters.proto | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ortools/sat/sat_parameters.proto b/ortools/sat/sat_parameters.proto index 389b7ec31b..09f50fd5c4 100644 --- a/ortools/sat/sat_parameters.proto +++ b/ortools/sat/sat_parameters.proto @@ -78,7 +78,7 @@ message SatParameters { // A number between 0 and 1 that indicates the proportion of branching // variables that are selected randomly instead of choosing the first variable // from the given variable_ordering strategy. - optional double random_branches_ratio = 32 [default = 0]; + optional double random_branches_ratio = 32 [default = 0.0]; // Whether we use the ERWA (Exponential Recency Weighted Average) heuristic as // described in "Learning Rate Based Branching Heuristic for SAT solvers", @@ -369,7 +369,7 @@ message SatParameters { // The maximum "deterministic" time limit to spend in probing. A value of // zero will disable the probing. - optional double presolve_probing_deterministic_time_limit = 57 [default = 30]; + optional double presolve_probing_deterministic_time_limit = 57 [default = 30.0]; // Whether we use an heuristic to detect some basic case of blocked clause // in the SAT presolve.