Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
150 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
162 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
174 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
251 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
328 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
345 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
377 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
394 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
406 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
424 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
537 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
860 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
866 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
868 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1239 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1361 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
1861 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
1996 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2233 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2250 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2447 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2449 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2450 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2464 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2466 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2467 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2560 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2561 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2602 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2603 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
2852 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
2857 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
2858 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
2875 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
2877 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
3841 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
3842 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
3881 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
3883 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
3884 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
4393 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
4394 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
5926 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
6255 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
6268 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
6307 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
6312 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
6402 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
6435 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
6455 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
6475 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
6545 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
6554 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
6559 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
6564 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
6569 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
6624 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
6664 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
6689 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
6699 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
6719 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
6764 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
7443 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
7504 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7510 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
7512 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
7589 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
7777 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8079 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
8085 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
8545 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
8548 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
8551 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
8745 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
8751 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
8782 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
9193 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
9195 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
9196 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
9201 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
9230 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
9232 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
9233 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
9238 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
9429 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
9430 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
9435 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
9518 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
9519 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
9524 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
10073 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
10075 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
10108 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
10149 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
10202 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
12100 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
12102 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
12103 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
12108 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
12189 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
12191 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
12192 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
12197 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
13248 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
13249 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
13254 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2737
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3333
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:4812
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:8706
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9524
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3071
boolean getDiversifyLnsParams()
Definition: SatParameters.java:14479
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:4946
boolean getUseExactLpReason()
Definition: SatParameters.java:5102
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:3616
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1439
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:10915
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2248
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10212
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:9325
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4426
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:14571
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:8853
boolean hasMipMaxBound()
Definition: SatParameters.java:14923
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4110
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13125
boolean hasLogSearchProgress()
Definition: SatParameters.java:3342
final int getNumber()
Definition: SatParameters.java:1062
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1308
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2801
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:14489
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:5356
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:9410
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12373
Builder clearAddCgCuts()
Definition: SatParameters.java:12829
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2600
static final int USE_MIR_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:4212
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4501
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2663
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10149
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2419
boolean getInstantiateAllVariables()
Definition: SatParameters.java:4702
int getPresolveBveClauseWeight()
Definition: SatParameters.java:3499
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12696
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:13520
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3180
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:13674
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9421
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1336
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1098
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4187
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:14441
Builder clearMipVarScaling()
Definition: SatParameters.java:15018
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:4706
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11194
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9661
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2458
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:4282
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:14052
Builder clearUseRinsLns()
Definition: SatParameters.java:14454
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:3778
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2547
Builder clearVariableActivityDecay()
Definition: SatParameters.java:9808
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:13019
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:9160
static final int DETERMINISTIC_PARALLEL_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4835
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3296
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12443
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2532
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3410
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:951
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:2910
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3300
boolean hasCatchSigintSignal()
Definition: SatParameters.java:14867
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1320
boolean getInstantiateAllVariables()
Definition: SatParameters.java:13881
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:4663
Builder clearUseLnsOnly()
Definition: SatParameters.java:14374
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9932
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:14110
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7461
boolean getAddKnapsackCuts()
Definition: SatParameters.java:12750
boolean getUseMirRounding()
Definition: SatParameters.java:12910
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12094
boolean hasOptimizeWithCore()
Definition: SatParameters.java:13552
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3632
boolean hasMipVarScaling()
Definition: SatParameters.java:5225
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2054
static VariableOrder forNumber(int value)
Definition: SatParameters.java:929
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:10338
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:14174
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:13045
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:9681
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:14278
boolean hasUsePhaseSaving()
Definition: SatParameters.java:8821
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9510
boolean getMinimizeCore()
Definition: SatParameters.java:3774
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13080
boolean hasUseMirRounding()
Definition: SatParameters.java:12898
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3097
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12209
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:12595
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3164
double getMipVarScaling()
Definition: SatParameters.java:14991
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:11603
double getRandomPolarityRatio()
Definition: SatParameters.java:8905
boolean getAddCgCuts()
Definition: SatParameters.java:12804
final int getNumber()
Definition: SatParameters.java:1539
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9147
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3655
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:13193
boolean hasLinearizationLevel()
Definition: SatParameters.java:4039
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9447
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:4270
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2683
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:3803
boolean hasMipCheckPrecision()
Definition: SatParameters.java:15188
final int getNumber()
Definition: SatParameters.java:1693
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:12984
Builder setDeterministicParallelSearch(boolean value)
Definition: SatParameters.java:14215
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3034
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15243
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3938
boolean getDiversifyLnsParams()
Definition: SatParameters.java:4988
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:10371
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2470
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2331
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5315
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:5156
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:12762
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:13742
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4992
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1271
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:3664
boolean getInterleaveSearch()
Definition: SatParameters.java:4808
boolean hasUsePbResolution()
Definition: SatParameters.java:3368
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:7484
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1469
STRATIFICATION_ASCENT
Definition: SatParameters.java:1900
final int getNumber()
Definition: SatParameters.java:2146
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1576
boolean hasFindMultipleCores()
Definition: SatParameters.java:3788
Builder clearRestartPeriod()
Definition: SatParameters.java:10323
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:13367
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:12158
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:11806
final int getNumber()
Definition: SatParameters.java:1933
boolean getShareObjectiveBounds()
Definition: SatParameters.java:14255
boolean getRandomizeSearch()
Definition: SatParameters.java:14527
Builder clearRestartAlgorithms()
Definition: SatParameters.java:10195
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:15151
double getMipMaxBound()
Definition: SatParameters.java:14935
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2558
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3193
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:14191
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9250
boolean getUseLnsOnly()
Definition: SatParameters.java:14351
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:4567
.lang.Override Builder clear()
Definition: SatParameters.java:7531
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2499
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3225
Builder clearLogSearchProgress()
Definition: SatParameters.java:11103
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:4613
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:13950
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:13284
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2925
boolean getUseExactLpReason()
Definition: SatParameters.java:14709
boolean hasVariableActivityDecay()
Definition: SatParameters.java:9757
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:4437
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:14502
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14391
boolean hasAddMirCuts()
Definition: SatParameters.java:12845
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11423
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2574
boolean getMinimizeCore()
Definition: SatParameters.java:11956
boolean getUsePhaseSaving()
Definition: SatParameters.java:2285
boolean hasUseExactLpReason()
Definition: SatParameters.java:14696
double getGlucoseMaxDecay()
Definition: SatParameters.java:9871
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9704
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9213
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:14603
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12231
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4783
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2495
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10230
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14397
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:12738
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2849
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11262
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2447
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2289
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3528
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2698
boolean hasUseOptimizationHints()
Definition: SatParameters.java:11889
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:14161
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:13823
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1547
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2811
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:13578
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3538
boolean hasUseExactLpReason()
Definition: SatParameters.java:5089
static final int MAX_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:4330
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3845
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:14303
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3447
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:4584
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4862
Builder clearUseOptimizationHints()
Definition: SatParameters.java:11931
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:10931
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3284
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7436
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8763
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1332
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:11475
int getPresolveBveThreshold()
Definition: SatParameters.java:11328
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4312
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:5133
double getMipCheckPrecision()
Definition: SatParameters.java:15201
int getClauseCleanupTarget()
Definition: SatParameters.java:2543
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:4691
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12248
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10044
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:7421
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7404
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:7509
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:12867
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5214
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12353
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3478
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1846
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:8301
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3055
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1304
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4391
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:14001
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:3986
CLAUSE_ACTIVITY
Definition: SatParameters.java:1510
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12120
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:955
int getPresolveBveClauseWeight()
Definition: SatParameters.java:11382
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:13981
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:10700
boolean hasUseOptionalVariables()
Definition: SatParameters.java:14639
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:959
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3451
PROTECTION_LBD
Definition: SatParameters.java:1398
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:3755
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:10871
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:5106
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:11577
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3576
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10206
boolean hasInterleaveSearch()
Definition: SatParameters.java:14084
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:5280
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1810
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:9571
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2687
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:4754
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2464
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:13032
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:5144
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:5015
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1971
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2172
PORTFOLIO_SEARCH
Definition: SatParameters.java:2034
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:4894
boolean hasMipWantedPrecision()
Definition: SatParameters.java:5258
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:10889
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3990
final int getNumber()
Definition: SatParameters.java:1798
boolean getUseOptimizationHints()
Definition: SatParameters.java:11902
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2834
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2441
Builder clearCoverOptimization()
Definition: SatParameters.java:12083
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:4526
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3112
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:11738
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:13654
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:12653
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1580
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:7776
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:14469
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1705
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1729
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:9858
boolean getLogSearchProgress()
Definition: SatParameters.java:11080
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:12017
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9230
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:9463
boolean getExpandElementConstraints()
Definition: SatParameters.java:11846
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2320
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3903
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9923
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1435
int getLinearizationLevel()
Definition: SatParameters.java:12528
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:10409
.lang.Override int hashCode()
Definition: SatParameters.java:6828
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:2990
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:13382
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:10960
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:9116
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13246
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:13204
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1733
boolean getUseLnsOnly()
Definition: SatParameters.java:4927
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3082
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2807
int getClauseCleanupTarget()
Definition: SatParameters.java:9385
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2702
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:10786
final int getNumber()
Definition: SatParameters.java:1175
boolean getCpModelPresolve()
Definition: SatParameters.java:11700
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12721
int getClauseCleanupPeriod()
Definition: SatParameters.java:9335
int getClauseCleanupPeriod()
Definition: SatParameters.java:2518
boolean getExpandElementConstraints()
Definition: SatParameters.java:3722
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8737
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9949
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:10823
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:4376
AUTOMATIC_SEARCH
Definition: SatParameters.java:2016
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3833
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:13991
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2184
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3256
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12305
boolean getUseOptionalVariables()
Definition: SatParameters.java:5073
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9831
boolean getUseBlockingRestart()
Definition: SatParameters.java:3067
boolean getUseRinsLns()
Definition: SatParameters.java:4965
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12421
boolean hasAddCgCuts()
Definition: SatParameters.java:4172
double getInitialVariablesActivity()
Definition: SatParameters.java:9083
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:13326
Builder setConstraintRemovalBatchSize(long value)
Definition: SatParameters.java:13215
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14406
boolean hasUsePbResolution()
Definition: SatParameters.java:11121
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9721
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:4858
boolean getUseOptimizationHints()
Definition: SatParameters.java:3751
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1267
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:7443
boolean getUseRinsLns()
Definition: SatParameters.java:14431
.lang.Override Builder clone()
Definition: SatParameters.java:8291
static Builder newBuilder()
Definition: SatParameters.java:7471
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4718
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1644
.lang.Override Builder toBuilder()
Definition: SatParameters.java:7478
Builder clearMipCheckPrecision()
Definition: SatParameters.java:15230
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:7503
int getPbCleanupIncrement()
Definition: SatParameters.java:2625
boolean hasUseOptimizationHints()
Definition: SatParameters.java:3738
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:11796
boolean getUseErwaHeuristic()
Definition: SatParameters.java:2370
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2839
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9825
boolean hasVariableActivityDecay()
Definition: SatParameters.java:2717
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3076
int getPresolveBvaThreshold()
Definition: SatParameters.java:11590
Definition: SatParameters.java:1871
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:11279
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3513
boolean hasExploitBestSolution()
Definition: SatParameters.java:13397
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3524
int getMipMaxActivityExponent()
Definition: SatParameters.java:5311
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13924
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:10616
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1967
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9427
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1106
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:7455
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:8992
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:13704
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1224
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:4631
Builder clearRandomSeed()
Definition: SatParameters.java:11055
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:4677
boolean getUseBranchingInLp()
Definition: SatParameters.java:14767
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:13689
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:4409
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:15214
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:11966
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12497
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:14361
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:8953
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:14850
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:10172
boolean hasPresolveUseBva()
Definition: SatParameters.java:3562
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:13870
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:5160
boolean getOptimizeWithCore()
Definition: SatParameters.java:4551
double getMaxTimeInSeconds()
Definition: SatParameters.java:3176
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2943
boolean getLogSearchProgress()
Definition: SatParameters.java:3352
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:7795
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1465
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:15273
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1187
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:5346
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:14779
int getClauseCleanupLbdBound()
Definition: SatParameters.java:9474
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4511
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:14823
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:10669
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:4646
boolean hasExploitObjective()
Definition: SatParameters.java:13446
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9840
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1461
boolean hasPresolveUseBva()
Definition: SatParameters.java:11526
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1836
boolean hasUseRinsLns()
Definition: SatParameters.java:14421
FIXED_RESTART
Definition: SatParameters.java:1652
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10683
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12685
Builder clearMaxNumCuts()
Definition: SatParameters.java:12669
CLAUSE_LBD
Definition: SatParameters.java:1518
boolean getUseBranchingInLp()
Definition: SatParameters.java:5129
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2845
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1981
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:7786
int getRestartAlgorithmsCount()
Definition: SatParameters.java:10091
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:7399
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13254
boolean getPresolveUseBva()
Definition: SatParameters.java:3572
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:13001
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3014
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:4252
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10125
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:13892
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:4744
boolean getPresolveUseBva()
Definition: SatParameters.java:11536
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3553
double getMipWantedPrecision()
Definition: SatParameters.java:15059
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9715
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9641
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:14622
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:11497
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:10739
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1832
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1560
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10560
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:11660
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:13772
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2742
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4131
Builder clearConstraintRemovalBatchSize()
Definition: SatParameters.java:13229
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13534
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3397
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8711
boolean hasUseBranchingInLp()
Definition: SatParameters.java:5117
Builder clearExpandElementConstraints()
Definition: SatParameters.java:11871
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4555
boolean hasCpModelPresolve()
Definition: SatParameters.java:3641
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:1941
double getRestartDlAverageRatio()
Definition: SatParameters.java:10398
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:11771
double getRandomBranchesRatio()
Definition: SatParameters.java:2343
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2358
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:5295
boolean hasUseMirRounding()
Definition: SatParameters.java:4223
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13240
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3040
int getCpModelProbingLevel()
Definition: SatParameters.java:3674
double getMaxTimeInSeconds()
Definition: SatParameters.java:10712
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4326
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3855
boolean hasClauseActivityDecay()
Definition: SatParameters.java:2820
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4931
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1572
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:10853
double getRandomBranchesRatio()
Definition: SatParameters.java:8965
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15237
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12147
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10245
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2919
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:13061
double getRestartDlAverageRatio()
Definition: SatParameters.java:3025
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10258
boolean hasUseOptionalVariables()
Definition: SatParameters.java:5061
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:115
boolean hasNumSearchWorkers()
Definition: SatParameters.java:4768
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9268
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10554
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:9009
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12403
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:3971
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2388
boolean hasRestartPeriod()
Definition: SatParameters.java:2966
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13509
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9224
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:11147
boolean hasMipWantedPrecision()
Definition: SatParameters.java:15041
Builder clearNumSearchWorkers()
Definition: SatParameters.java:14066
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9955
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12285
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:965
boolean getFindMultipleCores()
Definition: SatParameters.java:12006
boolean getExploitBestSolution()
Definition: SatParameters.java:13407
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:9345
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4735
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3138
Builder setMaxInactiveCount(long value)
Definition: SatParameters.java:13163
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:10972
Builder clearFindMultipleCores()
Definition: SatParameters.java:12031
boolean hasMipVarScaling()
Definition: SatParameters.java:14979
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5241
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3953
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1026
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4066
IN_ORDER
Definition: SatParameters.java:888
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:5187
boolean getFindMultipleCores()
Definition: SatParameters.java:3799
boolean hasExpandElementConstraints()
Definition: SatParameters.java:3711
Builder clearMaxInactiveCount()
Definition: SatParameters.java:13177
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9516
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:122
boolean hasCatchSigintSignal()
Definition: SatParameters.java:5171
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:4904
int getLinearizationLevel()
Definition: SatParameters.java:4052
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9607
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:9374
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4135
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9134
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:10108
Builder clearMipWantedPrecision()
Definition: SatParameters.java:15098
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:9098
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:12609
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:14293
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13266
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13094
int getRandomSeed()
Definition: SatParameters.java:3329
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1475
boolean hasUseBranchingInLp()
Definition: SatParameters.java:14755
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:4295
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12477
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:8891
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:8323
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4650
int getCpModelProbingLevel()
Definition: SatParameters.java:11748
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10566
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12189
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1551
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:9294
long getSearchRandomizationTolerance()
Definition: SatParameters.java:14587
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:4239
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8751
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10592
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3004
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:3687
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3887
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:1945
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:9551
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:4598
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:4821
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4056
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:4969
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10446
boolean hasInterleaveSearch()
Definition: SatParameters.java:4795
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:12069
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:11857
Builder clearUseBlockingRestart()
Definition: SatParameters.java:10511
double getVariableActivityDecay()
Definition: SatParameters.java:2733
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3828
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:8306
boolean getCatchSigintSignal()
Definition: SatParameters.java:14879
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3839
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1018
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:11445
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3153
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:13722
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:13790
boolean hasLogSearchProgress()
Definition: SatParameters.java:11070
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11434
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1198
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12183
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:13757
double getRandomPolarityRatio()
Definition: SatParameters.java:2316
int getNumSearchWorkers()
Definition: SatParameters.java:14041
double getMipVarScaling()
Definition: SatParameters.java:5237
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10575
boolean hasMipMaxBound()
Definition: SatParameters.java:5198
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8780
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:10948
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9964
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3273
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:14722
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3124
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4081
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3029
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:14313
double getVariableActivityDecay()
Definition: SatParameters.java:9773
int getMaxPresolveIterations()
Definition: SatParameters.java:3628
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11459
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1743
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9281
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:11340
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2564
int getNumSearchWorkers()
Definition: SatParameters.java:4779
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9601
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2748
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:4908
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:10358
boolean hasUseLnsOnly()
Definition: SatParameters.java:4917
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9727
boolean getUseErwaHeuristic()
Definition: SatParameters.java:9021
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:4422
int getPresolveBveThreshold()
Definition: SatParameters.java:3474
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:2981
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2154
boolean getCoverOptimization()
Definition: SatParameters.java:12058
final int getNumber()
Definition: SatParameters.java:917
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:10724
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:14537
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10631
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:8936
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:925
boolean getExploitObjective()
Definition: SatParameters.java:4497
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2752
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:12541
boolean hasMaxNumCuts()
Definition: SatParameters.java:4093
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4006
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8743
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:11915
Builder clearRandomizeSearch()
Definition: SatParameters.java:14550
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:13310
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12136
boolean hasMipCheckPrecision()
Definition: SatParameters.java:5327
boolean getUseBlockingRestart()
Definition: SatParameters.java:10484
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4299
int getRandomSeed()
Definition: SatParameters.java:11022
long getMaxInactiveCount()
Definition: SatParameters.java:13152
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11181
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:12815
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:12573
Builder clearUseOptionalVariables()
Definition: SatParameters.java:14678
int getBooleanEncodingLevel()
Definition: SatParameters.java:12584
boolean hasAddMirCuts()
Definition: SatParameters.java:4197
int getRestartPeriod()
Definition: SatParameters.java:10298
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12460
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:13108
boolean getExploitBestSolution()
Definition: SatParameters.java:4472
long getMaxMemoryInMb()
Definition: SatParameters.java:10902
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12388
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2242
int getPbCleanupIncrement()
Definition: SatParameters.java:9561
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1717
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8295
long getMaxInactiveCount()
Definition: SatParameters.java:4351
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:12777
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4023
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10534
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:13809
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:11316
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:4978
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8317
boolean hasRestartPeriod()
Definition: SatParameters.java:10287
Builder clearUseMirRounding()
Definition: SatParameters.java:12937
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8788
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3920
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:4871
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3091
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:14265
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9911
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11245
int getMaxNumCuts()
Definition: SatParameters.java:12640
Builder clearUsePhaseSaving()
Definition: SatParameters.java:8872
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:4476
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9187
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:6210
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:9999
boolean getUsePbResolution()
Definition: SatParameters.java:11134
static final int CONSTRAINT_REMOVAL_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4355
boolean getUseOptionalVariables()
Definition: SatParameters.java:14651
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1346
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10029
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3881
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1840
boolean getUseMirRounding()
Definition: SatParameters.java:4235
boolean hasLinearizationLevel()
Definition: SatParameters.java:12515
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2956
Builder clearUsePbResolution()
Definition: SatParameters.java:11163
boolean hasUseLnsOnly()
Definition: SatParameters.java:14341
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2781
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:7410
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:4831
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13966
Builder setUseMirRounding(boolean value)
Definition: SatParameters.java:12922
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2629
Builder clearOptimizeWithCore()
Definition: SatParameters.java:13594
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3488
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10434
Builder clearUseExactLpReason()
Definition: SatParameters.java:14738
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3678
Builder clearMipMaxBound()
Definition: SatParameters.java:14962
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1086
boolean getExploitAllLpSolution()
Definition: SatParameters.java:13355
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:4365
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2225
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1975
long getMaxNumberOfConflicts()
Definition: SatParameters.java:10838
final int getNumber()
Definition: SatParameters.java:1427
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:4617
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:10387
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1218
boolean hasUseRinsLns()
Definition: SatParameters.java:4955
int getBinarySearchNumConflicts()
Definition: SatParameters.java:4580
boolean hasOptimizeWithCore()
Definition: SatParameters.java:4538
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:15077
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9917
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:12956
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12335
boolean hasExploitObjective()
Definition: SatParameters.java:4486
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:15263
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:15278
double getMipMaxBound()
Definition: SatParameters.java:5210
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:10803
boolean getShareObjectiveBounds()
Definition: SatParameters.java:4881
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:8977
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1449
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:2875
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10023
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3430
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2374
boolean hasExploitBestSolution()
Definition: SatParameters.java:4462
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13937
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:11371
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:14151
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8800
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2188
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3086
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2453
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3356
double getMaxDeterministicTime()
Definition: SatParameters.java:3207
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:8311
PROTECTION_ALWAYS
Definition: SatParameters.java:1390
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:11636
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1210
boolean hasCoverOptimization()
Definition: SatParameters.java:3813
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:14014
boolean getAddMirCuts()
Definition: SatParameters.java:12856
Builder clearAddMirCuts()
Definition: SatParameters.java:12881
int getRestartAlgorithmsCount()
Definition: SatParameters.java:2893
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:11619
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:11758
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2220
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:9396
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2914
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4162
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:3588
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2792
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3128
HINT_SEARCH
Definition: SatParameters.java:2074
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:4380
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:11090
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:11407
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:9033
boolean hasMinimizeCore()
Definition: SatParameters.java:3764
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2552
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:9900
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:12970
int getMaxPresolveIterations()
Definition: SatParameters.java:11648
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1183
boolean hasCpModelPresolve()
Definition: SatParameters.java:11690
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2692
boolean hasMaxInactiveCount()
Definition: SatParameters.java:4340
Builder clearMinimizeCore()
Definition: SatParameters.java:11979
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1701
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10455
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:13343
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:13612
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:4846
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3101
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:9048
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9536
boolean hasNumSearchWorkers()
Definition: SatParameters.java:14030
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4453
boolean getOptimizeWithCore()
Definition: SatParameters.java:13565
int getMipMaxActivityExponent()
Definition: SatParameters.java:15135
Builder clearExploitObjective()
Definition: SatParameters.java:13482
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:12707
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10267
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12172
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:14203
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1955
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3385
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1820
boolean getExploitAllLpSolution()
Definition: SatParameters.java:4449
Builder clearInterleaveSearch()
Definition: SatParameters.java:14126
boolean getUsePhaseSaving()
Definition: SatParameters.java:8837
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:11511
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9193
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:11393
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3503
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:14835
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2508
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9201
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:5030
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5050
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:4266
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3149
STRATIFICATION_DESCENT
Definition: SatParameters.java:1889
double getInitialVariablesActivity()
Definition: SatParameters.java:2403
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4885
final int getNumber()
Definition: SatParameters.java:1296
Builder setMipVarScaling(double value)
Definition: SatParameters.java:15003
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:13638
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:14811
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2302
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2606
boolean getCoverOptimization()
Definition: SatParameters.java:3824
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:13297
boolean getAddCgCuts()
Definition: SatParameters.java:4183
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:10423
Builder clearCatchSigintSignal()
Definition: SatParameters.java:14906
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:10073
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9616
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1263
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4146
boolean getUsePbResolution()
Definition: SatParameters.java:3381
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10604
int getRestartRunningWindowSize()
Definition: SatParameters.java:10348
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1102
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1070
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4731
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:3697
.lang.Override int getSerializedSize()
Definition: SatParameters.java:5719
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9310
Builder clearUseBranchingInLp()
Definition: SatParameters.java:14794
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3462
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:11546
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4522
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:15283
Builder clearCpModelPresolve()
Definition: SatParameters.java:11723
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:7474
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2064
boolean getInterleaveSearch()
Definition: SatParameters.java:14097
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9176
boolean hasMinimizeCore()
Definition: SatParameters.java:11946
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3701
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1636
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:865
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2482
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4681
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:10758
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12108
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1340
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:9358
double getMipWantedPrecision()
Definition: SatParameters.java:5276
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:11355
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:2764
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:15170
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2158
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9238
boolean hasCoverOptimization()
Definition: SatParameters.java:12047
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10035
int getRestartPeriod()
Definition: SatParameters.java:2977
double getClauseActivityDecay()
Definition: SatParameters.java:2830
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1586
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10440
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1737
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:5077
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2237
Builder clearLinearizationLevel()
Definition: SatParameters.java:12557
Builder setMipMaxBound(double value)
Definition: SatParameters.java:14947
boolean hasClauseActivityDecay()
Definition: SatParameters.java:9979
double getClauseActivityDecay()
Definition: SatParameters.java:9989
static Polarity forNumber(int value)
Definition: SatParameters.java:1074
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:8919
boolean hasExpandElementConstraints()
Definition: SatParameters.java:11835
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2640
STRATIFICATION_NONE
Definition: SatParameters.java:1880
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2786
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:13906
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:9068
PROTECTION_NONE
Definition: SatParameters.java:1382
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:14326
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14385
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:9485
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2269
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4397
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:4758
Builder setRestartPeriod(int value)
Definition: SatParameters.java:10309
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:11819
int getPresolveBvaThreshold()
Definition: SatParameters.java:3601
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3924
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:9789
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:11710
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10522
Builder setRandomSeed(int value)
Definition: SatParameters.java:11037
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3957
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3605
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9595
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:10987
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:859
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3211
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:14245
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:12265
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8774
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9943
Definition: SatParameters.java:1137
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2254
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3875
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2796
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2192
boolean hasMaxNumCuts()
Definition: SatParameters.java:12627
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:9584
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:13417
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:14141
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10647
FIXED_SEARCH
Definition: SatParameters.java:2026
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2644
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1112
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:3726
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4027
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2198
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:15258
boolean hasFindMultipleCores()
Definition: SatParameters.java:11995
int getMaxNumCuts()
Definition: SatParameters.java:4106
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:11207
boolean getPresolveBlockedClause()
Definition: SatParameters.java:3549
int getRestartRunningWindowSize()
Definition: SatParameters.java:3000
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1806
boolean getPresolveBlockedClause()
Definition: SatParameters.java:11486
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3044
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:14663
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:4936
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3414
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2436
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7448
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:4942
boolean hasUseBlockingRestart()
Definition: SatParameters.java:10472
LUBY_RESTART
Definition: SatParameters.java:1628
double getMaxDeterministicTime()
Definition: SatParameters.java:10772
double getGlucoseMaxDecay()
Definition: SatParameters.java:2777
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:7470
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2231
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:15119
boolean hasRandomSeed()
Definition: SatParameters.java:3314
Builder clearPresolveUseBva()
Definition: SatParameters.java:11559
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4120
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:939
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10658
LP_SEARCH
Definition: SatParameters.java:2044
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10528
Builder clearDeterministicParallelSearch()
Definition: SatParameters.java:14230
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12320
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:14891
Builder clearExploitBestSolution()
Definition: SatParameters.java:13430
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2589
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:13468
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3244
boolean hasAddCgCuts()
Definition: SatParameters.java:12793
boolean getRandomizeSearch()
Definition: SatParameters.java:5011
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:7781
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1214
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10543
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:7431
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11223
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9819
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2634
long getMaxMemoryInMb()
Definition: SatParameters.java:3269
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7415
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:11786
boolean getExploitObjective()
Definition: SatParameters.java:13457
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:8332
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7425
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2432
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12100
long getSearchRandomizationTolerance()
Definition: SatParameters.java:5046
boolean getAddKnapsackCuts()
Definition: SatParameters.java:4158
long getMaxNumberOfConflicts()
Definition: SatParameters.java:3240
boolean hasMaxInactiveCount()
Definition: SatParameters.java:13141
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9736
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2594
boolean hasRandomizeSearch()
Definition: SatParameters.java:14517
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:13854
boolean getCatchSigintSignal()
Definition: SatParameters.java:5183
boolean getCpModelPresolve()
Definition: SatParameters.java:3651
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:9499
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13498
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:13837
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:10496
int getBinarySearchNumConflicts()
Definition: SatParameters.java:13625
int getBooleanEncodingLevel()
Definition: SatParameters.java:4077
double getMipCheckPrecision()
Definition: SatParameters.java:5340
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4385
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2615
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:11675
boolean getAddMirCuts()
Definition: SatParameters.java:4208
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2407
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:3870
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9435
boolean hasRandomizeSearch()
Definition: SatParameters.java:5001
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2347
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11299
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:9884
Builder clearClauseActivityDecay()
Definition: SatParameters.java:10012
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2522
int getClauseCleanupLbdBound()
Definition: SatParameters.java:2585
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3866
boolean hasRandomSeed()
Definition: SatParameters.java:11007
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12197