always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correctly type default value in sat_parameters.proto

Browse Source
This commit is contained in:
Laurent Perron
2019-04-30 22:12:57 +02:00
parent 3f0a13ca47
commit 3d24c91fd0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ortools/sat/sat_parameters.proto
View File

@@ -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.