Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
169 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
181 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
193 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
270 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
347 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
364 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
396 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
413 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
425 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
443 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
556 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
968 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1016 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1022 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1024 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1413 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1541 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2065 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2206 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2616 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2618 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2635 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2637 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2895 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2897 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2898 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2914 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2916 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2917 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3022 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3024 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3025 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3070 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3072 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3073 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3366 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3371 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3372 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3391 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3393 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4786 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
4788 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4789 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
4834 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
4836 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
4837 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5555 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5557 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5558 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6410 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6412 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6413 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
7598 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
8036 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
8049 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
8088 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
8093 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8183 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8228 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8248 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
8268 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
8299 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
8304 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
8380 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
8389 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
8394 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
8399 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
8404 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
8464 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
8546 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
8571 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
8581 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
8611 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
8665 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
8712 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
9473 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
9534 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
9540 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
9542 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
9621 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
9859 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10207 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
10213 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
10767 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
10770 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
10773 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
11016 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
11024 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
11059 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
11060 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
11589 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
11591 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
11592 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
11599 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
11632 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
11634 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
11635 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
11642 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
11858 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
11859 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
11866 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
11960 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
11961 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
11968 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
12596 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
12598 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
12634 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
12680 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
12736 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
15457 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
15459 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
15460 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
15467 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
15559 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
15561 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
15562 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
15569 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
17030 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
17031 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
17038 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
18773 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
18774 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3227
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3978
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6216
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:10973
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:11267
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11968
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:19317
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3618
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:18466
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:17391
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4067
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6343
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1625
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13977
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:13535
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:6708
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:17259
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4471
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:16231
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12748
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3063
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5654
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:16839
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:6901
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:11145
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:17141
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6193
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15625
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4168
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:14961
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5091
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16674
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6320
final int getNumber()
Definition: SatParameters.java:1224
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4108
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6483
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1488
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:18894
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:6950
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:17758
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5548
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:11836
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4184
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6456
Builder clearAddCgCuts()
Definition: SatParameters.java:16272
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:12489
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:15996
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:18521
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:5803
Builder clearCutCleanupTarget()
Definition: SatParameters.java:16949
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:6583
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:12680
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:13767
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15498
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:14291
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:6646
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6080
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15559
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:17587
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3745
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1516
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1266
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:15073
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5180
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:18682
Builder clearMipVarScaling()
Definition: SatParameters.java:19550
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6036
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5025
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:5725
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3827
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2934
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3758
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:18253
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2574
Builder clearUseRinsLns()
Definition: SatParameters.java:18696
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4715
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3359
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:18309
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3009
Builder clearVariableActivityDecay()
Definition: SatParameters.java:12288
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:11552
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12548
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13664
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1113
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3941
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:3957
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1500
Builder clearUseLnsOnly()
Definition: SatParameters.java:18602
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4827
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12433
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:18325
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9491
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2746
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3442
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6212
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4321
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2264
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1091
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:15005
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5236
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:19061
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18437
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:11230
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:16586
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:12146
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:18492
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4583
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:18112
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:19380
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:17080
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15582
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:2976
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:16009
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:6516
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:14437
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:14923
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6032
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:19331
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:13849
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2949
final int getNumber()
Definition: SatParameters.java:1725
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14657
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4410
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11879
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5310
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4744
final int getNumber()
Definition: SatParameters.java:1885
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13148
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:16935
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:16825
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:16911
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:16516
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:4727
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:19867
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5555
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:12927
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:6565
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2920
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6905
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6393
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:16197
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15511
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:19075
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18356
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14232
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12102
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6472
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1445
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:5768
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17574
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:6862
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:4711
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3411
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:9514
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1655
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:14422
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6121
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:14683
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4786
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14607
STRATIFICATION_ASCENT
Definition: SatParameters.java:2104
final int getNumber()
Definition: SatParameters.java:2356
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1768
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:6739
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12415
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:14304
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3600
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:13366
Builder clearRestartPeriod()
Definition: SatParameters.java:12872
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18399
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2535
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5584
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:17287
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:15524
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:14794
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:16923
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:5681
final int getNumber()
Definition: SatParameters.java:2137
Builder clearRestartAlgorithms()
Definition: SatParameters.java:12729
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:19767
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:5987
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12999
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16876
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:14487
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11655
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3508
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:13449
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:16715
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:17008
.lang.Override Builder clear()
Definition: SatParameters.java:9561
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2953
Builder clearLogSearchProgress()
Definition: SatParameters.java:13875
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:18066
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:14349
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:17850
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3110
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2730
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:18908
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16640
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12301
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:18925
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3535
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6410
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4317
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4052
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12170
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11612
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:19621
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:19022
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6162
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:15918
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12767
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18631
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3363
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15104
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2715
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12446
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4201
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:14473
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:18423
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:14173
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1735
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3317
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:17652
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15839
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:19408
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4792
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:16776
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:5898
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6243
Builder clearUseOptimizationHints()
Definition: SatParameters.java:15264
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18771
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:13552
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4512
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5463
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9466
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16691
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5103
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11037
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2697
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1512
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:13620
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:6633
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6397
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:3989
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:15180
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12566
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:9451
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9434
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:9539
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:16316
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:6757
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:12232
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15740
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:18219
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:17689
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4143
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2050
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2992
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:12362
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4951
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:10490
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:17126
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:19254
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:19140
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:18576
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:13044
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1480
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15457
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:11383
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:18124
CLAUSE_ACTIVITY
Definition: SatParameters.java:1696
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:12250
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15480
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13101
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1117
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5267
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1121
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:14782
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4112
PROTECTION_LBD
Definition: SatParameters.java:1578
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4688
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:13485
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:6602
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:19749
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17020
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4257
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:18737
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12741
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:6842
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3242
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:6866
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5389
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14829
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2014
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:12022
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3169
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6158
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6499
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2181
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2388
PORTFOLIO_SEARCH
Definition: SatParameters.java:2244
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3891
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4955
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15057
final int getNumber()
Definition: SatParameters.java:1996
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:4684
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18623
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3344
Builder clearCoverOptimization()
Definition: SatParameters.java:15437
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13109
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:5832
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2845
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2680
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:17736
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:18725
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:16074
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1772
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16624
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:9858
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5467
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1903
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1927
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:16855
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:15363
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6204
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5497
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:11125
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6441
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2750
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12423
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1617
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:19205
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5306
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:12971
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3699
.lang.Override int hashCode()
Definition: SatParameters.java:8739
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:17303
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:11502
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1931
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3842
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3564
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:5708
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3188
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:13394
final int getNumber()
Definition: SatParameters.java:1343
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16150
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11675
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3286
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15041
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6019
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3898
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17561
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6239
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4508
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:14947
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:19731
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4568
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:13643
AUTOMATIC_SEARCH
Definition: SatParameters.java:2226
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:16556
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:19125
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2400
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6254
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12317
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:11334
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15815
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:5696
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:18169
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:16394
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:17240
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18641
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3470
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2777
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:6753
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1441
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:9473
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3644
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:12945
.lang.Override Builder clone()
Definition: SatParameters.java:10480
static Builder newBuilder()
Definition: SatParameters.java:9501
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1836
.lang.Override Builder toBuilder()
Definition: SatParameters.java:9508
Builder clearMipCheckPrecision()
Definition: SatParameters.java:19854
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:9533
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:17637
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12309
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:11397
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4241
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4858
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5147
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3040
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:19571
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2895
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4804
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:6722
Definition: SatParameters.java:2076
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5010
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11690
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:14071
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4089
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3809
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4253
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:17208
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:16811
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:15150
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:13213
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11856
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2177
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:19603
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:16044
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1274
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:9485
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4381
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:11364
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:14992
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:17792
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:19394
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1398
Builder clearRandomSeed()
Definition: SatParameters.java:13820
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13247
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5378
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:19837
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15551
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:15305
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15898
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:18182
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:18588
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:19298
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:12705
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:19666
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:5739
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:19443
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:5861
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3184
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:6770
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13199
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:6664
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15858
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12540
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:9877
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3391
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6403
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1651
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:19897
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1361
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:6940
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2609
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:4699
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:19219
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2566
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:13058
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:13273
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5240
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11537
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11057
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12327
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3313
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1647
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:19822
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6354
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2040
FIXED_RESTART
Definition: SatParameters.java:1844
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13288
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3305
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:6883
Builder clearMaxNumCuts()
Definition: SatParameters.java:16091
CLAUSE_LBD
Definition: SatParameters.java:1704
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2191
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:9868
int getRestartAlgorithmsCount()
Definition: SatParameters.java:12615
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:9429
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17038
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15112
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:16536
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:11105
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:11808
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:12654
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4377
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17028
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:18001
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:15409
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:18713
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4539
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4230
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:14361
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6308
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2684
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:19042
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:14317
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5339
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:13347
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2036
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1752
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:14501
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:17867
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17602
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2660
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5474
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:17439
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10978
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5418
Builder clearExpandElementConstraints()
Definition: SatParameters.java:14906
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:5865
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:14111
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2147
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:15396
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3575
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:14753
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:14770
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:19587
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:17193
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:5799
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6197
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:19807
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3070
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4897
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:17833
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6324
.lang.Override int getRandomSeed()
Definition: SatParameters.java:3974
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1764
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:13466
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:13432
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:19861
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12784
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:16603
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2907
.lang.Override int getRandomSeed()
Definition: SatParameters.java:13784
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12798
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:11910
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5288
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:3887
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11848
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:133
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6788
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3792
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15796
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:16967
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:14546
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:11320
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5054
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4460
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:16413
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:13925
Builder clearNumSearchWorkers()
Definition: SatParameters.java:18272
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11958
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12462
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15665
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1127
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:11763
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6069
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:14407
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:13729
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6381
Builder clearFindMultipleCores()
Definition: SatParameters.java:15378
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:14186
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4877
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:15933
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6823
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:5894
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4599
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1188
IN_ORDER
Definition: SatParameters.java:1044
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6096
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:6726
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15779
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:18882
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:6551
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4213
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:140
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12065
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15449
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:16480
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5120
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:12634
Builder clearMipWantedPrecision()
Definition: SatParameters.java:19708
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3260
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:11483
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:16024
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17051
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1661
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2616
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11624
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2964
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15877
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13962
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:10512
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4448
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:5972
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13156
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:17513
Builder clearRepairHint()
Definition: SatParameters.java:17173
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1743
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:11705
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:6819
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5271
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:4756
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:6615
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6281
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4817
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11024
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:14979
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3539
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4636
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4934
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4840
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2155
LOCK_BASED
Definition: SatParameters.java:2458
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4125
Builder clearStopAfterPresolve()
Definition: SatParameters.java:18197
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:17704
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:5968
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3099
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5029
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:18100
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13672
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6445
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5432
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13015
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2711
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2554
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:15422
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:14891
Builder clearUseBlockingRestart()
Definition: SatParameters.java:13088
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4773
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:10495
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3234
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1180
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:16498
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:14258
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3716
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:17811
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:17886
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:11449
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6468
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6050
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18763
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14052
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:17527
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1372
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13682
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2828
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13166
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15130
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12472
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3910
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:14715
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5486
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3669
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:19155
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:13701
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5058
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3568
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:18533
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5509
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4303
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14273
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:6919
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1941
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4433
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:17907
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15606
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:14139
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3028
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:13306
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:12831
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3495
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6297
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:17092
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:12913
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12199
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:18937
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18372
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4464
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5087
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12454
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5405
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3512
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13007
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2366
final int getNumber()
Definition: SatParameters.java:1073
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:13332
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14670
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:18949
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13229
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:11301
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1083
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5436
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3246
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:15948
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:15247
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3087
Builder clearRandomizeSearch()
Definition: SatParameters.java:18963
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:19520
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16748
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:17223
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5343
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3275
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4610
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:16257
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:12501
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12124
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4155
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:4669
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:14878
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3118
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5482
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12057
Builder clearUseOptionalVariables()
Definition: SatParameters.java:19105
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3741
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:5588
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:11251
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18036
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:16656
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5538
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:18293
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15762
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:12889
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:16364
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:17273
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:13380
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1915
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:12010
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10484
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:16213
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4495
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5222
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14847
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:12958
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:6691
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13117
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:16290
NEAREST_INTEGER
Definition: SatParameters.java:2448
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11581
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:4740
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:15281
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10506
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2808
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18794
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11632
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18364
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11067
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3351
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4992
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5176
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14033
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2543
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14821
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:18478
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6092
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2580
Builder clearUsePhaseSaving()
Definition: SatParameters.java:11167
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:5772
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:5743
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:7986
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4393
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:12513
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3551
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:16183
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1526
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12191
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:6784
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4139
Builder clearExpandTableConstraints()
Definition: SatParameters.java:15020
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2044
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:15337
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15704
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5572
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16894
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3483
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6331
Builder clearUsePbResolution()
Definition: SatParameters.java:13942
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6266
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4034
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16884
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:5846
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3279
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:18454
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:9440
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:5951
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2878
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18083
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3103
Builder clearOptimizeWithCore()
Definition: SatParameters.java:17669
Builder clearUseExactLpReason()
Definition: SatParameters.java:19172
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6495
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4437
Builder clearMipMaxBound()
Definition: SatParameters.java:19487
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4271
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:11214
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1254
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5358
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2185
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:13505
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:5755
final int getNumber()
Definition: SatParameters.java:1607
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3223
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:5935
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2863
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1392
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:13520
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:19686
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:14865
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:11200
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15721
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:16993
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:19887
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:19902
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:16441
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:13410
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4651
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:11348
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1635
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3625
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4479
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11006
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:18825
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6339
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:11897
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2812
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:11466
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3633
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5133
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4197
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3937
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:6934
Builder clearHintConflictLimit()
Definition: SatParameters.java:17106
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3328
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11080
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2404
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3637
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2901
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:14935
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:13599
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4005
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3015
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:10500
PROTECTION_ALWAYS
Definition: SatParameters.java:1570
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:16378
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1384
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:15197
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:5617
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:18138
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:18509
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4914
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16122
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:17975
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6065
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:3866
Builder clearAddMirCuts()
Definition: SatParameters.java:16331
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:14454
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:5914
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:14739
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2603
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5072
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:17775
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:11821
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:18658
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4362
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3435
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5151
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5041
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:18781
Builder clearUseImpliedBounds()
Definition: SatParameters.java:19424
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3687
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11014
Builder setRepairHint(boolean value)
Definition: SatParameters.java:17156
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3205
HINT_SEARCH
Definition: SatParameters.java:2284
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:14125
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5542
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18382
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16703
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:5650
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2914
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:13861
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:18751
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:14214
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:11411
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:5879
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:16303
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:12394
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1353
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14698
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4421
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:17320
Builder clearMinimizeCore()
Definition: SatParameters.java:15319
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1895
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13025
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3656
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:11427
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14592
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11981
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5561
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5685
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3431
Builder clearUseRelaxationLns()
Definition: SatParameters.java:18853
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:13837
Builder clearExploitObjective()
Definition: SatParameters.java:17480
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:16135
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12809
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15539
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:4769
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2165
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5401
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:17421
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:11795
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4038
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2024
Builder clearInterleaveSearch()
Definition: SatParameters.java:18343
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4286
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3294
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:14332
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:6677
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:18236
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13260
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:14199
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4172
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:14622
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:19282
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11599
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6538
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3683
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3614
STRATIFICATION_DESCENT
Definition: SatParameters.java:2093
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3176
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6270
final int getNumber()
Definition: SatParameters.java:1470
Builder setMipVarScaling(double value)
Definition: SatParameters.java:19534
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:18838
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16109
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:17719
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3728
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2763
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5209
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5116
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6695
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3076
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:6803
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5513
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11049
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:12986
Builder clearCatchSigintSignal()
Definition: SatParameters.java:19361
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:16059
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:12596
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12075
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1437
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14639
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1270
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1234
final int getNumber()
Definition: SatParameters.java:2525
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3923
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:19268
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16868
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3165
.lang.Override int getSerializedSize()
Definition: SatParameters.java:7391
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:19004
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:18812
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11722
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4535
Builder clearUseBranchingInLp()
Definition: SatParameters.java:19235
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:14373
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13140
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6227
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:19907
Builder clearCpModelPresolve()
Definition: SatParameters.java:14572
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:9504
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:16169
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2274
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5205
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:5931
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:11739
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2888
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11569
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:5602
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4483
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1828
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1021
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16792
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6007
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15467
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1520
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4332
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:11777
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18051
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:15232
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:14155
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5324
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:19787
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3772
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2374
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15120
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6416
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:19506
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11642
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:15217
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12556
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3652
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:13319
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:17923
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4551
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18411
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1778
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1935
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4564
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3846
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:6569
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2622
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:5785
Builder clearLinearizationLevel()
Definition: SatParameters.java:15965
Builder setMipMaxBound(double value)
Definition: SatParameters.java:19471
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3143
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:14534
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6003
static Polarity forNumber(int value)
Definition: SatParameters.java:1242
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:11283
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4019
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3053
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5374
STRATIFICATION_NONE
Definition: SatParameters.java:2084
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3712
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:18016
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18615
PROTECTION_NONE
Definition: SatParameters.java:1562
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:16244
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:18547
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5449
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:11923
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5621
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6125
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4834
Builder setRestartPeriod(int value)
Definition: SatParameters.java:12857
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:14808
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:12901
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4881
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:12268
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:16457
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4523
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:14558
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:12347
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:12844
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3005
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12049
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11522
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:6660
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2570
Builder setRandomSeed(int value)
Definition: SatParameters.java:13801
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:6598
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:18156
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4001
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3523
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4918
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4290
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:13745
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3450
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4622
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1015
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3776
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:15644
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:13895
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:16350
Definition: SatParameters.java:1306
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:6629
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2641
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5253
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5828
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3298
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:17452
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2408
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:12036
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:17344
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15091
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:13578
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12183
FIXED_SEARCH
Definition: SatParameters.java:2236
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:18670
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3122
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16762
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1280
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5525
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:13910
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:17622
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:17405
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:16980
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:5667
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6428
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4655
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:6534
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4996
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2414
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3340
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:19882
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:13992
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:17499
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2006
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:19191
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3587
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:15983
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2794
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:19089
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4226
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4071
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4779
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3906
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6370
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:5635
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2882
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9478
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5815
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4406
LUBY_RESTART
Definition: SatParameters.java:1820
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:17543
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:9500
Builder clearPresolveUseBva()
Definition: SatParameters.java:14387
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1101
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13185
LP_SEARCH
Definition: SatParameters.java:2254
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4618
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:19345
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6366
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2635
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:13715
Builder clearExploitBestSolution()
Definition: SatParameters.java:17358
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6293
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6177
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5192
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4603
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12407
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3057
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:17465
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:15350
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6108
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:18870
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11950
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:18986
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3813
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14245
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4348
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:16427
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3583
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:9863
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1388
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5163
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:16571
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13127
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6141
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:18564
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:9461
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14009
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2467
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:15165
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4344
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13656
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11589
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9445
PROPAGATION_ASSISTED
Definition: SatParameters.java:2480
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:10521
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9455
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4973
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16729
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:11751
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:11998
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15687
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12209
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:17957
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3022
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:11938
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:17939
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:13072
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14837
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:17988
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:14727
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:14517
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:15293
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:17332
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2849
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4821
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11866
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2781
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14092
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:12377
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:17377
Builder clearClauseActivityDecay()
Definition: SatParameters.java:12527
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2980
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5712
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:19646
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2628
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:19457
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:11186
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15569
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:17068