Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
155 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
167 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
179 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
256 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
333 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
350 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
382 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
399 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
411 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
429 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
542 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
910 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
916 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
918 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1307 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1435 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
1959 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2100 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2345 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2364 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2575 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2577 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2578 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2594 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2596 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2597 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2698 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2699 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2744 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2745 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3016 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3021 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3022 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3040 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3042 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4188 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4189 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
4232 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
4234 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
4235 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
4811 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
4812 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6553 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
6918 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
6931 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
6970 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
6975 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
7065 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
7098 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
7118 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
7138 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
7230 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
7239 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
7244 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
7249 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
7254 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
7314 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
7359 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
7384 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
7394 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
7419 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
7469 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
8194 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
8255 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8261 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
8263 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
8340 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
8546 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8864 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
8870 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
9362 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
9365 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
9368 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
9579 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
9587 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
9621 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
10067 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
10069 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
10070 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
10077 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
10109 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
10111 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
10112 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
10119 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
10328 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
10329 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
10336 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
10427 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
10428 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
10435 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
11041 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
11043 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
11079 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
11125 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
11181 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
13483 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
13485 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
13486 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
13493 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
13582 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
13584 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
13585 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
13592 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
14796 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
14797 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
14804 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2889
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3534
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:5316
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:9538
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10435
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3252
boolean getDiversifyLnsParams()
Definition: SatParameters.java:16317
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:5462
boolean getUseExactLpReason()
Definition: SatParameters.java:5657
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:3838
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1519
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:15071
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:11966
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2362
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11193
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:10213
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4846
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:16418
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:9699
boolean hasMipMaxBound()
Definition: SatParameters.java:16861
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:13061
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4475
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:14657
boolean hasLogSearchProgress()
Definition: SatParameters.java:3544
final int getNumber()
Definition: SatParameters.java:1118
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1382
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2960
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:16329
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:5956
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:10307
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:13780
Builder clearAddCgCuts()
Definition: SatParameters.java:14275
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2742
static final int USE_MIR_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:4614
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4956
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2810
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:11125
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2544
boolean getInstantiateAllVariables()
Definition: SatParameters.java:5171
int getPresolveBveClauseWeight()
Definition: SatParameters.java:3712
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14129
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:15156
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3371
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:15322
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10319
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1410
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1160
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:13112
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4558
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:16219
Builder clearMipVarScaling()
Definition: SatParameters.java:16965
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:5175
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12268
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10585
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2587
boolean hasUseRelaxationLns()
Definition: SatParameters.java:16250
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:4689
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:15790
Builder clearUseRinsLns()
Definition: SatParameters.java:16233
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4119
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2683
Builder clearVariableActivityDecay()
Definition: SatParameters.java:10745
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:13186
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:14542
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:10031
static final int DETERMINISTIC_PARALLEL_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5341
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3495
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:13855
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2667
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3617
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1007
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3078
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3499
boolean hasCatchSigintSignal()
Definition: SatParameters.java:16739
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:4939
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1394
boolean getInstantiateAllVariables()
Definition: SatParameters.java:15545
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:5129
Builder clearUseLnsOnly()
Definition: SatParameters.java:16143
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10884
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:15853
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8212
boolean getAddKnapsackCuts()
Definition: SatParameters.java:14188
boolean getUseMirRounding()
Definition: SatParameters.java:14424
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13476
boolean hasOptimizeWithCore()
Definition: SatParameters.java:15190
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3855
boolean hasMipVarScaling()
Definition: SatParameters.java:5818
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2158
static VariableOrder forNumber(int value)
Definition: SatParameters.java:985
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:11331
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:15923
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:14571
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:10607
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:16037
boolean hasUsePhaseSaving()
Definition: SatParameters.java:9664
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10418
boolean getMinimizeCore()
Definition: SatParameters.java:4115
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:14608
boolean hasUseMirRounding()
Definition: SatParameters.java:14411
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3282
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13605
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:14020
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3354
double getMipVarScaling()
Definition: SatParameters.java:16935
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:12714
double getRandomPolarityRatio()
Definition: SatParameters.java:9754
boolean getAddCgCuts()
Definition: SatParameters.java:14247
final int getNumber()
Definition: SatParameters.java:1619
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10016
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3880
boolean hasLinearizationLevel()
Definition: SatParameters.java:4399
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10349
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:4676
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2831
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4146
boolean hasMipCheckPrecision()
Definition: SatParameters.java:17146
final int getNumber()
Definition: SatParameters.java:1779
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:14505
Builder setDeterministicParallelSearch(boolean value)
Definition: SatParameters.java:15968
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3212
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:17205
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4292
boolean getDiversifyLnsParams()
Definition: SatParameters.java:5535
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:11368
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2600
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2450
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5913
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:5715
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:14202
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:13200
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:15395
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5539
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1339
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:3890
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4059
boolean getInterleaveSearch()
Definition: SatParameters.java:5312
boolean hasUsePbResolution()
Definition: SatParameters.java:3572
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:8235
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1549
STRATIFICATION_ASCENT
Definition: SatParameters.java:1998
final int getNumber()
Definition: SatParameters.java:2250
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1662
boolean hasFindMultipleCores()
Definition: SatParameters.java:4130
Builder clearRestartPeriod()
Definition: SatParameters.java:11315
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:14927
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:13548
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:12937
long getProbingPeriodAtRoot()
Definition: SatParameters.java:15084
final int getNumber()
Definition: SatParameters.java:2031
boolean getShareObjectiveBounds()
Definition: SatParameters.java:16011
boolean getRandomizeSearch()
Definition: SatParameters.java:16370
Builder clearRestartAlgorithms()
Definition: SatParameters.java:11174
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:17107
double getMipMaxBound()
Definition: SatParameters.java:16874
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2696
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3385
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:15941
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10132
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:14775
boolean getUseLnsOnly()
Definition: SatParameters.java:16117
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:5027
.lang.Override Builder clear()
Definition: SatParameters.java:8282
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2631
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3419
Builder clearLogSearchProgress()
Definition: SatParameters.java:12170
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:5076
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:15621
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:14836
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3095
boolean getUseExactLpReason()
Definition: SatParameters.java:16567
boolean hasVariableActivityDecay()
Definition: SatParameters.java:10690
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:4858
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:16343
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16162
boolean hasAddMirCuts()
Definition: SatParameters.java:14292
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12516
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2713
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:14675
boolean getMinimizeCore()
Definition: SatParameters.java:13324
boolean getUsePhaseSaving()
Definition: SatParameters.java:2401
boolean hasUseExactLpReason()
Definition: SatParameters.java:16553
double getGlucoseMaxDecay()
Definition: SatParameters.java:10815
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4028
boolean getStopAfterPresolve()
Definition: SatParameters.java:5254
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10631
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10090
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:16453
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:13628
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5285
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2627
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11212
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16170
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:14175
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3013
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12341
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2575
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2405
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3743
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2848
boolean hasUseOptimizationHints()
Definition: SatParameters.java:13251
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:15909
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:15482
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1629
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2971
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:15219
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3754
boolean hasUseExactLpReason()
Definition: SatParameters.java:5643
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:16827
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4192
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:16064
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:14702
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3656
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:5045
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5370
Builder clearUseOptimizationHints()
Definition: SatParameters.java:13297
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:11983
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3957
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3482
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8187
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9600
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1406
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:12573
int getPresolveBveThreshold()
Definition: SatParameters.java:12412
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4721
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:5690
double getMipCheckPrecision()
Definition: SatParameters.java:17160
int getClauseCleanupTarget()
Definition: SatParameters.java:2679
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:5159
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:13646
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:13215
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11011
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:8172
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8155
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:8260
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:14317
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5806
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:13759
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3689
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1944
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:9106
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3235
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1374
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4809
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:15677
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4343
CLAUSE_ACTIVITY
Definition: SatParameters.java:1590
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13506
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1011
int getPresolveBveClauseWeight()
Definition: SatParameters.java:12471
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:15654
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:11733
boolean hasUseOptionalVariables()
Definition: SatParameters.java:16491
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1015
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3660
PROTECTION_LBD
Definition: SatParameters.java:1472
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4094
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:11918
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:5661
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:12685
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3795
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11186
boolean hasInterleaveSearch()
Definition: SatParameters.java:15824
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:5876
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1908
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:10487
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2835
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:5227
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2594
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:14556
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:5702
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:5564
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2075
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2282
PORTFOLIO_SEARCH
Definition: SatParameters.java:2138
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:5405
boolean hasMipWantedPrecision()
Definition: SatParameters.java:5853
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:11937
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4347
final int getNumber()
Definition: SatParameters.java:1890
boolean getUseOptimizationHints()
Definition: SatParameters.java:13265
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2996
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2568
Builder clearCoverOptimization()
Definition: SatParameters.java:13464
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:4983
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3298
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:12861
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:15301
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:14083
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1666
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:8545
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:16306
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1797
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1821
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:10801
boolean getLogSearchProgress()
Definition: SatParameters.java:12144
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:13392
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10109
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:10366
boolean getExpandElementConstraints()
Definition: SatParameters.java:12980
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2438
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4255
int getMaxAllDiffCutSize()
Definition: SatParameters.java:14363
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10874
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1511
int getLinearizationLevel()
Definition: SatParameters.java:13946
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:11410
.lang.Override int hashCode()
Definition: SatParameters.java:7538
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3164
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:14943
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:12014
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:9983
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14794
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1825
boolean getUseLnsOnly()
Definition: SatParameters.java:5441
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3265
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2967
int getClauseCleanupTarget()
Definition: SatParameters.java:10279
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2852
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:11827
final int getNumber()
Definition: SatParameters.java:1237
boolean getCpModelPresolve()
Definition: SatParameters.java:12819
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14157
int getClauseCleanupPeriod()
Definition: SatParameters.java:10224
int getClauseCleanupPeriod()
Definition: SatParameters.java:2652
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:13047
boolean getExpandElementConstraints()
Definition: SatParameters.java:3953
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9570
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10903
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:11866
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3982
AUTOMATIC_SEARCH
Definition: SatParameters.java:2120
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4179
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:15665
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2294
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3452
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:13707
boolean getUseOptionalVariables()
Definition: SatParameters.java:5626
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10772
boolean getUseBlockingRestart()
Definition: SatParameters.java:3248
boolean getUseRinsLns()
Definition: SatParameters.java:5483
boolean getUseRelaxationLns()
Definition: SatParameters.java:16262
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:13832
boolean hasAddCgCuts()
Definition: SatParameters.java:4542
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:14393
double getInitialVariablesActivity()
Definition: SatParameters.java:9947
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:14882
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16180
boolean hasUsePbResolution()
Definition: SatParameters.java:12189
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10650
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:5366
boolean getUseOptimizationHints()
Definition: SatParameters.java:4090
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1335
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:8194
boolean getUseRinsLns()
Definition: SatParameters.java:16207
.lang.Override Builder clone()
Definition: SatParameters.java:9096
static Builder newBuilder()
Definition: SatParameters.java:8222
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5188
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1730
.lang.Override Builder toBuilder()
Definition: SatParameters.java:8229
Builder clearMipCheckPrecision()
Definition: SatParameters.java:17192
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:8254
boolean getUseImpliedBounds()
Definition: SatParameters.java:16813
int getPbCleanupIncrement()
Definition: SatParameters.java:2769
boolean hasUseOptimizationHints()
Definition: SatParameters.java:4076
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:12925
boolean getUseErwaHeuristic()
Definition: SatParameters.java:2492
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3002
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10764
boolean hasVariableActivityDecay()
Definition: SatParameters.java:2868
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13149
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3258
int getPresolveBvaThreshold()
Definition: SatParameters.java:12699
Definition: SatParameters.java:1969
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:12360
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3727
boolean hasExploitBestSolution()
Definition: SatParameters.java:14959
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3739
int getMipMaxActivityExponent()
Definition: SatParameters.java:5909
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:15592
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:11642
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2071
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10326
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1168
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:8206
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:9849
boolean getStopAfterPresolve()
Definition: SatParameters.java:15720
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:15355
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1292
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:5095
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13081
Builder clearRandomSeed()
Definition: SatParameters.java:12117
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:5144
boolean getUseBranchingInLp()
Definition: SatParameters.java:16630
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:15338
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:4828
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:17175
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:13336
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:13913
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:15733
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:16129
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:9806
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:16721
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:11150
boolean hasPresolveUseBva()
Definition: SatParameters.java:3780
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:15533
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:5719
boolean getOptimizeWithCore()
Definition: SatParameters.java:5010
double getMaxTimeInSeconds()
Definition: SatParameters.java:3367
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3114
boolean getLogSearchProgress()
Definition: SatParameters.java:3555
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:8564
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:3978
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1545
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:17235
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1255
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:5946
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4045
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:16644
int getClauseCleanupLbdBound()
Definition: SatParameters.java:10378
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4967
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:16691
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:11700
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:5111
boolean hasExploitObjective()
Definition: SatParameters.java:15013
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10782
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1541
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13096
boolean hasPresolveUseBva()
Definition: SatParameters.java:12629
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1934
boolean hasUseRinsLns()
Definition: SatParameters.java:16196
FIXED_RESTART
Definition: SatParameters.java:1738
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:11715
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14117
Builder clearMaxNumCuts()
Definition: SatParameters.java:14100
CLAUSE_LBD
Definition: SatParameters.java:1598
boolean getUseBranchingInLp()
Definition: SatParameters.java:5686
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3009
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2085
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:8555
int getRestartAlgorithmsCount()
Definition: SatParameters.java:11060
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:8150
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14804
boolean getPresolveUseBva()
Definition: SatParameters.java:3791
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:14523
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3190
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:4657
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:11099
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:15558
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:5216
boolean getPresolveUseBva()
Definition: SatParameters.java:12640
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3770
double getMipWantedPrecision()
Definition: SatParameters.java:17008
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10643
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:4780
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10564
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:16473
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:12598
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:11776
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1930
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1646
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11579
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:12776
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:15428
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2895
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4498
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15171
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3603
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9543
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:13024
boolean hasUseBranchingInLp()
Definition: SatParameters.java:5673
Builder clearExpandElementConstraints()
Definition: SatParameters.java:13008
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:5014
boolean hasCpModelPresolve()
Definition: SatParameters.java:3865
boolean getUseImpliedBounds()
Definition: SatParameters.java:5773
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2041
double getRestartDlAverageRatio()
Definition: SatParameters.java:11397
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:12898
double getRandomBranchesRatio()
Definition: SatParameters.java:2463
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2479
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:5892
boolean hasUseMirRounding()
Definition: SatParameters.java:4626
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14787
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3219
int getCpModelProbingLevel()
Definition: SatParameters.java:3901
double getMaxTimeInSeconds()
Definition: SatParameters.java:11746
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4736
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4203
boolean hasClauseActivityDecay()
Definition: SatParameters.java:2981
boolean hasUseImpliedBounds()
Definition: SatParameters.java:5760
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5445
boolean hasStopAfterPresolve()
Definition: SatParameters.java:5242
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1658
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:11899
double getRandomBranchesRatio()
Definition: SatParameters.java:9819
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:17199
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:13535
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11229
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3088
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:14588
double getRestartDlAverageRatio()
Definition: SatParameters.java:3202
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11243
boolean hasUseOptionalVariables()
Definition: SatParameters.java:5613
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:120
boolean hasNumSearchWorkers()
Definition: SatParameters.java:5269
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10151
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11572
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:9867
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:13813
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4327
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2511
boolean hasRestartPeriod()
Definition: SatParameters.java:3138
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15143
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10102
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:12218
boolean hasMipWantedPrecision()
Definition: SatParameters.java:16989
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:14350
Builder clearNumSearchWorkers()
Definition: SatParameters.java:15805
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10911
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:13686
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1021
boolean getFindMultipleCores()
Definition: SatParameters.java:13379
boolean getExploitBestSolution()
Definition: SatParameters.java:14970
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:10236
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5206
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3326
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:12028
Builder clearFindMultipleCores()
Definition: SatParameters.java:13407
boolean hasUseImpliedBounds()
Definition: SatParameters.java:16800
boolean hasMipVarScaling()
Definition: SatParameters.java:16922
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5835
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4308
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1082
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4428
IN_ORDER
Definition: SatParameters.java:938
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:5231
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:5777
boolean getFindMultipleCores()
Definition: SatParameters.java:4142
boolean hasExpandElementConstraints()
Definition: SatParameters.java:3941
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10425
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:127
boolean hasCatchSigintSignal()
Definition: SatParameters.java:5731
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:5416
int getLinearizationLevel()
Definition: SatParameters.java:4413
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10528
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:10267
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4502
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10002
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:11079
Builder clearMipWantedPrecision()
Definition: SatParameters.java:17050
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:9964
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:14035
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:16053
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14817
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:14623
int getRandomSeed()
Definition: SatParameters.java:3530
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1555
boolean hasUseBranchingInLp()
Definition: SatParameters.java:16617
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:4703
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:13892
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:9739
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:9128
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:5115
int getCpModelProbingLevel()
Definition: SatParameters.java:12872
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11587
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13582
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1637
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:10180
long getSearchRandomizationTolerance()
Definition: SatParameters.java:16435
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:4643
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9587
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:11615
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3179
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:3915
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4238
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2049
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:10464
Builder clearStopAfterPresolve()
Definition: SatParameters.java:15748
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:5060
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5326
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4417
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:5514
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11452
boolean hasInterleaveSearch()
Definition: SatParameters.java:5298
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:13449
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:12993
Builder clearUseBlockingRestart()
Definition: SatParameters.java:11523
double getVariableActivityDecay()
Definition: SatParameters.java:2885
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4173
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:9111
boolean getCatchSigintSignal()
Definition: SatParameters.java:16752
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4186
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1074
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:12541
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3342
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:15374
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:15447
boolean hasLogSearchProgress()
Definition: SatParameters.java:12133
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12528
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:15098
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1266
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13575
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:15411
double getRandomPolarityRatio()
Definition: SatParameters.java:2434
int getNumSearchWorkers()
Definition: SatParameters.java:15777
double getMipVarScaling()
Definition: SatParameters.java:5831
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11597
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:13035
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13167
boolean hasMipMaxBound()
Definition: SatParameters.java:5789
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9619
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:12001
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10921
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3470
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:16582
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3311
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4444
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3206
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:16076
double getVariableActivityDecay()
Definition: SatParameters.java:10707
int getMaxPresolveIterations()
Definition: SatParameters.java:3851
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12556
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1835
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10165
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:12426
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2702
int getNumSearchWorkers()
Definition: SatParameters.java:5281
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10520
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2902
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:5420
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:11354
boolean hasUseLnsOnly()
Definition: SatParameters.java:5430
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10658
boolean getUseErwaHeuristic()
Definition: SatParameters.java:9880
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:4842
int getPresolveBveThreshold()
Definition: SatParameters.java:3685
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:4740
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3154
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2260
boolean getCoverOptimization()
Definition: SatParameters.java:13436
final int getNumber()
Definition: SatParameters.java:967
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:11760
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:16382
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:11658
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:9788
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:977
boolean getExploitObjective()
Definition: SatParameters.java:4923
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2906
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:13961
boolean hasMaxNumCuts()
Definition: SatParameters.java:4457
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4364
int getNewConstraintsBatchSize()
Definition: SatParameters.java:4792
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9577
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:13280
Builder clearRandomizeSearch()
Definition: SatParameters.java:16396
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:14865
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:13523
boolean hasMipCheckPrecision()
Definition: SatParameters.java:5926
boolean getUseBlockingRestart()
Definition: SatParameters.java:11493
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4707
int getRandomSeed()
Definition: SatParameters.java:12081
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12254
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:14260
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:13995
Builder clearUseOptionalVariables()
Definition: SatParameters.java:16534
int getBooleanEncodingLevel()
Definition: SatParameters.java:14007
boolean hasAddMirCuts()
Definition: SatParameters.java:4569
int getRestartPeriod()
Definition: SatParameters.java:11287
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:13873
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:14639
boolean getExploitBestSolution()
Definition: SatParameters.java:4896
long getMaxMemoryInMb()
Definition: SatParameters.java:11951
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:13796
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2355
int getPbCleanupIncrement()
Definition: SatParameters.java:10475
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1809
long getProbingPeriodAtRoot()
Definition: SatParameters.java:4952
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:9100
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:14218
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4382
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11550
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:15467
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:12399
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:5524
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:9122
boolean hasRestartPeriod()
Definition: SatParameters.java:11275
Builder clearUseMirRounding()
Definition: SatParameters.java:14454
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9629
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4273
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:5380
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3275
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:16023
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10859
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12323
int getMaxNumCuts()
Definition: SatParameters.java:14068
Builder clearUsePhaseSaving()
Definition: SatParameters.java:9719
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:4927
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:4900
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10060
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:6873
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:10960
boolean getUsePbResolution()
Definition: SatParameters.java:12203
boolean getUseOptionalVariables()
Definition: SatParameters.java:16504
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1420
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10993
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4232
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1938
boolean getUseMirRounding()
Definition: SatParameters.java:4639
boolean hasLinearizationLevel()
Definition: SatParameters.java:13932
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3127
Builder clearUsePbResolution()
Definition: SatParameters.java:12235
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:3996
boolean hasUseLnsOnly()
Definition: SatParameters.java:16106
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:4597
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2937
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:8161
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5337
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:15638
Builder setUseMirRounding(boolean value)
Definition: SatParameters.java:14438
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2773
Builder clearOptimizeWithCore()
Definition: SatParameters.java:15236
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3700
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11437
Builder clearUseExactLpReason()
Definition: SatParameters.java:16599
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3905
Builder clearMipMaxBound()
Definition: SatParameters.java:16904
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1148
boolean getExploitAllLpSolution()
Definition: SatParameters.java:14913
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2336
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2079
long getMaxNumberOfConflicts()
Definition: SatParameters.java:11882
final int getNumber()
Definition: SatParameters.java:1501
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:5080
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:11385
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1286
boolean hasUseRinsLns()
Definition: SatParameters.java:5472
int getBinarySearchNumConflicts()
Definition: SatParameters.java:5041
boolean hasOptimizeWithCore()
Definition: SatParameters.java:4996
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:17028
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10866
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:14474
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:13740
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:14760
boolean hasExploitObjective()
Definition: SatParameters.java:4911
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:17225
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:17240
double getMipMaxBound()
Definition: SatParameters.java:5802
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:11845
boolean getShareObjectiveBounds()
Definition: SatParameters.java:5391
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:9833
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1529
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3040
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10986
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3638
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2496
boolean hasExploitBestSolution()
Definition: SatParameters.java:4885
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:15606
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:12459
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:15897
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9642
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2298
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3269
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2581
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3559
double getMaxDeterministicTime()
Definition: SatParameters.java:3400
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:3967
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:9116
PROTECTION_ALWAYS
Definition: SatParameters.java:1464
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:14377
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:12749
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1278
boolean hasCoverOptimization()
Definition: SatParameters.java:4157
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:13232
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:15691
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:14688
boolean getAddMirCuts()
Definition: SatParameters.java:14304
Builder clearAddMirCuts()
Definition: SatParameters.java:14332
int getRestartAlgorithmsCount()
Definition: SatParameters.java:3059
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:12731
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:12884
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2330
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:10292
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3082
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4531
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:3808
Builder clearUseImpliedBounds()
Definition: SatParameters.java:16843
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2950
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3315
HINT_SEARCH
Definition: SatParameters.java:2178
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:4796
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:12156
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:12499
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:9894
boolean hasMinimizeCore()
Definition: SatParameters.java:4104
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2689
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:10847
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:14489
int getMaxPresolveIterations()
Definition: SatParameters.java:12762
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1247
boolean hasCpModelPresolve()
Definition: SatParameters.java:12808
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2841
Builder clearMinimizeCore()
Definition: SatParameters.java:13350
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1789
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11462
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:14900
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:15255
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:5353
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3286
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:9910
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10448
boolean hasNumSearchWorkers()
Definition: SatParameters.java:15765
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4875
boolean getOptimizeWithCore()
Definition: SatParameters.java:15204
Builder clearUseRelaxationLns()
Definition: SatParameters.java:16290
int getMipMaxActivityExponent()
Definition: SatParameters.java:17089
Builder clearExploitObjective()
Definition: SatParameters.java:15053
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:14142
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11254
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:13563
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:15954
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2059
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3590
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1918
boolean getExploitAllLpSolution()
Definition: SatParameters.java:4871
Builder clearInterleaveSearch()
Definition: SatParameters.java:15870
boolean getUsePhaseSaving()
Definition: SatParameters.java:9681
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:12613
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10067
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:12484
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3716
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:16705
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2641
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10077
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:5580
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5601
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4011
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:4672
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3338
STRATIFICATION_DESCENT
Definition: SatParameters.java:1987
double getInitialVariablesActivity()
Definition: SatParameters.java:2527
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5395
final int getNumber()
Definition: SatParameters.java:1364
Builder setMipVarScaling(double value)
Definition: SatParameters.java:16949
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:16275
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:15284
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4021
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:16678
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4585
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2419
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5748
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2748
boolean getCoverOptimization()
Definition: SatParameters.java:4169
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4769
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:14850
boolean getAddCgCuts()
Definition: SatParameters.java:4554
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:11425
Builder clearCatchSigintSignal()
Definition: SatParameters.java:16782
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:11041
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10538
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1331
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4514
boolean getUsePbResolution()
Definition: SatParameters.java:3586
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:11628
int getRestartRunningWindowSize()
Definition: SatParameters.java:11342
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1164
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1128
boolean hasStopAfterPresolve()
Definition: SatParameters.java:15708
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5202
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:3926
.lang.Override int getSerializedSize()
Definition: SatParameters.java:6346
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10197
Builder clearUseBranchingInLp()
Definition: SatParameters.java:16660
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3672
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:12652
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4979
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:17245
Builder clearCpModelPresolve()
Definition: SatParameters.java:12845
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:8225
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2168
boolean getInterleaveSearch()
Definition: SatParameters.java:15838
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10048
boolean hasMinimizeCore()
Definition: SatParameters.java:13313
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3930
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1722
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:915
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:14718
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2613
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5148
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:11796
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13493
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1414
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:10250
double getMipWantedPrecision()
Definition: SatParameters.java:5872
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:12442
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:2919
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:17127
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2268
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:4765
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13157
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:5487
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10119
boolean hasCoverOptimization()
Definition: SatParameters.java:13424
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11001
int getRestartPeriod()
Definition: SatParameters.java:3150
double getClauseActivityDecay()
Definition: SatParameters.java:2992
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1672
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11444
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1829
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:5630
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2349
Builder clearLinearizationLevel()
Definition: SatParameters.java:13978
Builder setMipMaxBound(double value)
Definition: SatParameters.java:16888
boolean hasClauseActivityDecay()
Definition: SatParameters.java:10937
double getClauseActivityDecay()
Definition: SatParameters.java:10948
static Polarity forNumber(int value)
Definition: SatParameters.java:1136
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:9770
boolean hasExpandElementConstraints()
Definition: SatParameters.java:12968
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2786
STRATIFICATION_NONE
Definition: SatParameters.java:1978
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2943
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:15573
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:9931
boolean hasUseRelaxationLns()
Definition: SatParameters.java:5498
PROTECTION_NONE
Definition: SatParameters.java:1456
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:16090
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16155
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:10391
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2384
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4815
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:5258
Builder setRestartPeriod(int value)
Definition: SatParameters.java:11300
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:12951
int getPresolveBvaThreshold()
Definition: SatParameters.java:3822
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4277
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:10725
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:12831
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11535
Builder setRandomSeed(int value)
Definition: SatParameters.java:12098
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4312
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3826
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10513
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:12044
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4032
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:909
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3404
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:16000
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:13665
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9612
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10896
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:4752
Definition: SatParameters.java:1199
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2368
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4225
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2954
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2302
boolean hasMaxNumCuts()
Definition: SatParameters.java:14054
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:10501
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:14982
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13130
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:15886
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:11675
FIXED_SEARCH
Definition: SatParameters.java:2130
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2790
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1174
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13142
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4063
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4386
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2308
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:17220
boolean getUseRelaxationLns()
Definition: SatParameters.java:5510
boolean hasFindMultipleCores()
Definition: SatParameters.java:13367
int getMaxNumCuts()
Definition: SatParameters.java:4471
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:12283
boolean getPresolveBlockedClause()
Definition: SatParameters.java:3766
int getRestartRunningWindowSize()
Definition: SatParameters.java:3175
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1900
boolean getPresolveBlockedClause()
Definition: SatParameters.java:12585
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3223
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:16518
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:5451
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3621
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2562
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8199
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:5458
boolean hasUseBlockingRestart()
Definition: SatParameters.java:11480
LUBY_RESTART
Definition: SatParameters.java:1714
double getMaxDeterministicTime()
Definition: SatParameters.java:11811
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:15114
double getGlucoseMaxDecay()
Definition: SatParameters.java:2933
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:8221
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2343
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:17072
boolean hasRandomSeed()
Definition: SatParameters.java:3514
Builder clearPresolveUseBva()
Definition: SatParameters.java:12666
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4486
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:995
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:11687
LP_SEARCH
Definition: SatParameters.java:2148
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11542
Builder clearDeterministicParallelSearch()
Definition: SatParameters.java:15984
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:13723
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:16766
Builder clearExploitBestSolution()
Definition: SatParameters.java:14996
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4015
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2729
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:15038
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3439
int getMaxAllDiffCutSize()
Definition: SatParameters.java:4610
boolean hasAddCgCuts()
Definition: SatParameters.java:14235
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:14735
boolean getRandomizeSearch()
Definition: SatParameters.java:5560
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:8550
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1282
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11560
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:8182
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12300
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10757
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2779
long getMaxMemoryInMb()
Definition: SatParameters.java:3466
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8166
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:12914
boolean getExploitObjective()
Definition: SatParameters.java:15025
int getNewConstraintsBatchSize()
Definition: SatParameters.java:14747
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:9137
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8176
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2558
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13483
long getSearchRandomizationTolerance()
Definition: SatParameters.java:5597
boolean getAddKnapsackCuts()
Definition: SatParameters.java:4527
long getMaxNumberOfConflicts()
Definition: SatParameters.java:3435
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10668
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2735
boolean hasRandomizeSearch()
Definition: SatParameters.java:16359
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:15516
boolean getCatchSigintSignal()
Definition: SatParameters.java:5744
boolean getCpModelPresolve()
Definition: SatParameters.java:3876
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:10406
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15131
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:15498
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:11507
int getBinarySearchNumConflicts()
Definition: SatParameters.java:15269
int getBooleanEncodingLevel()
Definition: SatParameters.java:4440
double getMipCheckPrecision()
Definition: SatParameters.java:5940
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4802
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2758
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:12792
boolean getAddMirCuts()
Definition: SatParameters.java:4581
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2531
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4219
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10336
boolean hasRandomizeSearch()
Definition: SatParameters.java:5549
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2467
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12381
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:10830
Builder clearClauseActivityDecay()
Definition: SatParameters.java:10974
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2656
int getClauseCleanupLbdBound()
Definition: SatParameters.java:2725
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4215
boolean hasRandomSeed()
Definition: SatParameters.java:12065
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13592