Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
173 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
185 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
197 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
274 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
351 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
368 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
400 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
417 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
429 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
447 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
560 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
972 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1091 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1097 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1099 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1488 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1616 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2140 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2281 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2754 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2756 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2773 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2775 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
3033 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
3035 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3036 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3052 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3054 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3055 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3160 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3162 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3163 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3208 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3210 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3211 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3504 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3509 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3510 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3529 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3531 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
5119 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
5121 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
5122 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5167 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5169 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5170 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5948 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5950 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5951 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6871 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6873 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6874 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
8165 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
8663 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
8676 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
8715 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
8720 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8810 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8855 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8870 if (hasPermutePresolveConstraintOrder() != other.hasPermutePresolveConstraintOrder()) return false;
8890 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
8910 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
8941 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
8946 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
9013 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
9042 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
9051 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
9056 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
9061 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
9066 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
9136 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
9223 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
9248 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
9253 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
9263 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
9293 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9347 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9404 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
10234 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
10295 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10301 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
10303 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
10384 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
10648 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
11028 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
11034 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11638 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
11641 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
11644 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
12019 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
12027 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
12062 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
12063 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
12592 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
12594 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
12595 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
12602 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
12635 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
12637 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
12638 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
12645 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
12861 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
12862 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
12869 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
12963 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
12964 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
12971 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
13599 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
13601 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
13637 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
13683 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
13739 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
16857 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
16859 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
16860 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
16867 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
16959 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
16961 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
16962 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
16969 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
18552 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
18553 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
18560 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
20433 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
20434 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3365
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4187
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6677
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:11862
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:12270
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12971
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:20977
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3756
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:20126
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:18913
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4276
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6804
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1700
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15125
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:14538
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:7169
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:18781
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4680
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:17631
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13751
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3201
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6047
Builder clearConvertIntervals()
Definition: SatParameters.java:21214
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:18361
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7428
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:12148
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:18663
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6654
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17025
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4377
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:16109
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5424
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18196
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6781
final int getNumber()
Definition: SatParameters.java:1299
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4317
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6944
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1563
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:20554
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7475
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:19339
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5941
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:12839
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4393
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:21119
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6917
Builder clearAddCgCuts()
Definition: SatParameters.java:17672
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:13492
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:17396
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:20181
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6225
Builder clearCutCleanupTarget()
Definition: SatParameters.java:18471
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:7044
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13683
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:14770
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16898
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:15439
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:7107
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6541
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16959
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:19168
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3883
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1591
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1341
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:16398
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5513
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:20342
Builder clearMipVarScaling()
Definition: SatParameters.java:21340
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6497
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5358
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:6118
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3965
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3072
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3896
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:19913
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2649
Builder clearUseRinsLns()
Definition: SatParameters.java:20356
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:5048
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5554
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3497
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:19969
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3147
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5567
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:4860
Builder clearVariableActivityDecay()
Definition: SatParameters.java:13291
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:12555
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13551
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14667
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1188
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4079
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:19083
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4095
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1575
Builder clearUseLnsOnly()
Definition: SatParameters.java:20262
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5160
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13436
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:19985
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10252
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2884
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3580
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6673
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4530
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2339
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1166
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:16153
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5629
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:20721
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20097
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:12233
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:18108
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:13149
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:20152
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4879
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:19772
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:21040
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:18602
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16982
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3114
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:17409
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:6977
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:15585
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:16071
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2678
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6493
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:20991
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:14997
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3087
final int getNumber()
Definition: SatParameters.java:1800
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15805
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4619
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19546
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12882
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5703
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16561
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:5077
final int getNumber()
Definition: SatParameters.java:1960
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14151
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:18457
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:18347
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:18433
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:18038
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:5060
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:21657
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5948
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:13930
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:7026
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3058
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7432
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6854
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:17597
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16911
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:20735
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20016
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15380
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13105
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6933
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1520
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:17790
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:6161
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19155
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7389
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:5044
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3549
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:10275
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1730
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:15570
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6582
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:15831
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5119
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15755
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:4145
STRATIFICATION_ASCENT
Definition: SatParameters.java:2179
final int getNumber()
Definition: SatParameters.java:2431
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1843
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7264
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13418
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:15452
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3738
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:14369
Builder clearRestartPeriod()
Definition: SatParameters.java:13875
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20059
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2610
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5977
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:18809
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:16924
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:15942
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:18445
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:6074
final int getNumber()
Definition: SatParameters.java:2212
Builder clearRestartAlgorithms()
Definition: SatParameters.java:13732
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:21561
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6448
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14002
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18398
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:15635
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12658
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3646
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:14452
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:18237
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:18530
.lang.Override Builder clear()
Definition: SatParameters.java:10322
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3091
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7201
Builder clearLogSearchProgress()
Definition: SatParameters.java:15023
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:19726
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:15497
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:19431
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3248
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2868
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:20568
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18162
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13304
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:20585
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3673
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6871
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4526
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4261
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13173
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12615
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21411
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:20682
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6623
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:17318
static final int PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER
Definition: SatParameters.java:4116
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13770
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20291
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3501
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16429
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2853
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13449
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4410
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:15621
static final int CONVERT_INTERVALS_FIELD_NUMBER
Definition: SatParameters.java:7220
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:20083
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:15321
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1810
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3455
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:19233
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:4951
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17239
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4156
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:21068
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5542
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5125
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:18298
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6320
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:17775
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6704
Builder clearUseOptimizationHints()
Definition: SatParameters.java:16664
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20431
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:14555
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4721
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5856
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10227
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2728
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18213
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5436
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12040
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2835
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1587
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:14623
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:7094
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6858
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4198
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:16505
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:6221
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13569
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:10212
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10195
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10300
Builder clearName()
Definition: SatParameters.java:11977
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:17716
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7282
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:13235
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17140
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:19879
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:19270
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4352
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4802
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2125
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3130
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:13365
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5284
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:11335
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:18648
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:20914
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:20800
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:20236
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:14047
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1555
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16857
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:12386
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:19784
CLAUSE_ACTIVITY
Definition: SatParameters.java:1771
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:13253
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16880
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:4818
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14104
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1192
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5660
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1196
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:15930
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4321
PROTECTION_LBD
Definition: SatParameters.java:1653
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:5021
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:14488
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:7063
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:21543
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18542
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4466
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:20397
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13744
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7368
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3380
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7393
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5782
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15977
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2089
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:13025
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3307
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6619
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6960
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2256
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2463
PORTFOLIO_SEARCH
Definition: SatParameters.java:2319
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4029
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:16578
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5288
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16382
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:11936
final int getNumber()
Definition: SatParameters.java:2071
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:5017
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20283
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3482
Builder clearCoverOptimization()
Definition: SatParameters.java:16837
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14112
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6254
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2983
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2818
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:19317
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:20385
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:17474
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1847
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:18146
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:10647
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5860
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1978
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2002
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:18377
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:16763
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6665
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5890
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:12128
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6394
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6902
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2888
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13426
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1692
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:20865
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5699
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:13974
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3837
.lang.Override int hashCode()
Definition: SatParameters.java:9431
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:18825
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:12505
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2006
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3980
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:14950
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3702
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:6101
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3326
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:14397
final int getNumber()
Definition: SatParameters.java:1418
Builder setConvertIntervals(boolean value)
Definition: SatParameters.java:21198
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17550
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12678
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3424
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16366
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6480
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4036
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19142
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6700
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:21184
Builder clearExpandReservoirConstraints()
Definition: SatParameters.java:16286
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4717
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:16095
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:21525
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4864
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:14646
AUTOMATIC_SEARCH
Definition: SatParameters.java:2301
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:18078
static final int PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4149
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:20785
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2475
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6715
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13320
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:12337
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17215
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:6089
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:19829
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:17916
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:16317
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:18762
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:16186
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20301
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3608
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2915
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:7233
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7278
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1516
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:10234
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3782
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:13948
.lang.Override Builder clone()
Definition: SatParameters.java:11325
static Builder newBuilder()
Definition: SatParameters.java:10262
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1911
.lang.Override Builder toBuilder()
Definition: SatParameters.java:10269
Builder clearMipCheckPrecision()
Definition: SatParameters.java:21644
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:10294
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:19218
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13312
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:4130
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:12400
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4450
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5191
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5480
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3178
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21361
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3033
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5137
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:7183
Definition: SatParameters.java:2151
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5343
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12693
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:15219
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4298
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3947
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4462
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:18730
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:18333
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4967
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:16475
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:14216
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12859
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2252
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:21393
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:17444
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1349
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:10246
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4590
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:12367
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:16140
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:19373
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:21054
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1473
Builder clearRandomSeed()
Definition: SatParameters.java:14823
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14250
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5771
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:21628
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16951
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:16304
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:16705
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17298
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:19842
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:20248
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:20958
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:13708
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:21458
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:6132
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:21233
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6283
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3322
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7295
Builder setPermuteVariableRandomly(boolean value)
Definition: SatParameters.java:14873
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14202
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:7125
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:17258
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13543
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:10666
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3529
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:16227
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6864
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1726
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:21687
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1436
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7465
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2747
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:5032
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:20879
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2641
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:14061
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:14276
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5633
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12540
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12060
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:13330
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3451
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1722
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:21614
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5571
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6815
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2115
FIXED_RESTART
Definition: SatParameters.java:1919
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14291
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3443
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7410
Builder clearMaxNumCuts()
Definition: SatParameters.java:17491
CLAUSE_LBD
Definition: SatParameters.java:1779
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2266
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:4831
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:10657
int getRestartAlgorithmsCount()
Definition: SatParameters.java:13618
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:10190
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18560
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16437
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:18058
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:12108
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:12811
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13657
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4586
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18550
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:19661
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:16809
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:20373
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4748
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4439
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:15509
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6769
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2822
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:20702
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:15465
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5732
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:14350
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2111
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1827
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:15649
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:19448
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:19183
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2798
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5867
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:18961
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:11867
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5811
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:11993
Builder clearExpandElementConstraints()
Definition: SatParameters.java:16054
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6287
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:15259
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2222
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:16796
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3713
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:15901
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:15918
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:21377
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:18715
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6192
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6658
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:21600
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:14911
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3208
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4789
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5230
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:19414
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6785
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4112
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1839
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:14469
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:14435
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:21651
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13787
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:18125
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3045
.lang.Override int getRandomSeed()
Definition: SatParameters.java:14787
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13801
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:12913
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5681
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:4025
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12851
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:137
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7313
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3930
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17196
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:18489
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:15694
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:12323
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5387
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4669
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:17935
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:15073
Builder clearNumSearchWorkers()
Definition: SatParameters.java:19932
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12961
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13465
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17065
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1202
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:12766
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6530
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:15555
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:14732
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6842
Builder clearFindMultipleCores()
Definition: SatParameters.java:16778
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:15334
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5210
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:17333
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7348
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6316
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4895
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1263
IN_ORDER
Definition: SatParameters.java:1119
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6557
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7251
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5598
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17179
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:20542
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:7012
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4422
static final int DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER
Definition: SatParameters.java:4835
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:144
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13068
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16849
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:18002
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5453
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:13637
Builder clearAddCliqueCuts()
Definition: SatParameters.java:17853
Builder clearMipWantedPrecision()
Definition: SatParameters.java:21502
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3398
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:12486
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:17424
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:18573
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:14903
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1736
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2754
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12627
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3102
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17277
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15110
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4164
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:11357
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4657
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6433
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14159
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:19035
Builder clearRepairHint()
Definition: SatParameters.java:18695
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1818
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:12708
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7344
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5664
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:5089
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:7076
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6742
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5150
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12027
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:16127
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3677
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4932
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5267
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5173
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2230
LOCK_BASED
Definition: SatParameters.java:2533
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4334
Builder clearStopAfterPresolve()
Definition: SatParameters.java:19857
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:19285
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6390
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3237
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5362
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:19760
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:17823
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14675
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6906
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5825
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14018
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2849
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2629
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:16822
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:16039
Builder clearUseBlockingRestart()
Definition: SatParameters.java:14091
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5106
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:11340
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3372
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1255
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:18020
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:15406
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3854
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:19392
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:19467
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:12452
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6929
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6511
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20423
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15200
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:19049
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1447
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14685
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2966
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14169
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16455
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13475
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4048
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:15863
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16597
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5879
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3807
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:20815
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:14704
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5391
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3706
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:20193
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5902
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4512
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15421
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7445
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2016
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4642
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:19567
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17006
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:15287
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3166
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:14309
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:13834
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3633
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6758
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:18614
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:13916
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13202
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:20597
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20032
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4673
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5420
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13457
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5798
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3650
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14010
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2441
final int getNumber()
Definition: SatParameters.java:1148
Builder setPermutePresolveConstraintOrder(boolean value)
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:14919
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:14335
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15818
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:20609
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14232
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:12304
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1158
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5829
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:16212
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3384
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:17348
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4777
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:16647
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3225
Builder clearRandomizeSearch()
Definition: SatParameters.java:20623
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:21310
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18270
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:18745
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5736
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3413
Builder clearPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:14929
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4906
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:17657
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:13504
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13127
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4364
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:5002
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:16026
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3256
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5875
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13060
Builder clearUseOptionalVariables()
Definition: SatParameters.java:20765
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3879
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:5981
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:12254
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19696
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:18178
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5931
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:19953
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:17162
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:13892
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:17886
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:18795
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:14383
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1990
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:13013
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11329
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:17613
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4704
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:7247
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5615
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15995
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:13961
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:16258
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:7152
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14120
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:17690
NEAREST_INTEGER
Definition: SatParameters.java:2523
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12584
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:5073
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:16681
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11351
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2946
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20454
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12635
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20024
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12070
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3489
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5325
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5509
Builder setDisableConstraintExpansion(boolean value)
Definition: SatParameters.java:16330
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15181
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2618
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15969
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:20138
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6553
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2655
Builder clearUsePhaseSaving()
Definition: SatParameters.java:12170
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6165
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:6136
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:8608
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7187
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4602
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:13516
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3689
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:17583
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1601
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13194
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7309
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4348
Builder clearExpandTableConstraints()
Definition: SatParameters.java:16168
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:17749
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:14942
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2119
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:16737
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17104
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5965
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18416
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3621
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6792
Builder setUseAbslRandom(boolean value)
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:14958
Builder clearUsePbResolution()
Definition: SatParameters.java:15090
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6727
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4243
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18406
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6268
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3417
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:20114
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:10201
Builder setExpandReservoirConstraints(boolean value)
Definition: SatParameters.java:16271
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6373
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3016
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19743
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19490
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3241
Builder clearOptimizeWithCore()
Definition: SatParameters.java:19250
Builder clearUseExactLpReason()
Definition: SatParameters.java:20832
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6956
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4646
Builder clearMipMaxBound()
Definition: SatParameters.java:21277
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4480
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:12217
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1329
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2703
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5751
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2260
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:14508
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:6148
final int getNumber()
Definition: SatParameters.java:1682
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3361
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6357
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3001
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1467
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:14523
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:21479
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:16013
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:12203
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:17121
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:18515
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:21677
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:21692
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:6208
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:17963
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:14413
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4947
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:12351
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1710
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3763
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4688
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12009
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:20485
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6800
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:21170
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:12900
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2950
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:12469
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3771
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5466
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4406
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4075
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7459
Builder clearHintConflictLimit()
Definition: SatParameters.java:18628
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3466
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12083
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2479
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3775
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3039
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:16083
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:14602
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4214
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3153
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:11345
PROTECTION_ALWAYS
Definition: SatParameters.java:1645
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:17900
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1459
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:16522
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:6010
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:19798
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:20169
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5247
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17522
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:19635
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6526
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:4004
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:17837
Builder clearAddMirCuts()
Definition: SatParameters.java:17731
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:15602
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6336
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:15887
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2741
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5405
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:19356
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:12824
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:20318
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4571
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:16245
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3573
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5484
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5374
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:20441
Builder clearUseImpliedBounds()
Definition: SatParameters.java:21084
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3825
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12017
Builder setRepairHint(boolean value)
Definition: SatParameters.java:18678
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3343
HINT_SEARCH
Definition: SatParameters.java:2359
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:15273
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5935
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:20042
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18225
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:6043
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3052
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:15009
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:20411
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:15362
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:12414
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6301
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:17703
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:13397
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1428
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15846
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4630
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:18842
Builder clearMinimizeCore()
Definition: SatParameters.java:16719
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1970
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14028
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3794
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:12430
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15740
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12984
Builder clearUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:14968
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5954
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6078
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3569
Builder clearUseRelaxationLns()
Definition: SatParameters.java:20513
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:14985
Builder clearExploitObjective()
Definition: SatParameters.java:19002
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:21134
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:17535
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13812
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16939
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:5102
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2240
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5794
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:18943
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:12798
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4247
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2099
Builder clearInterleaveSearch()
Definition: SatParameters.java:20003
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4495
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3432
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:15480
Builder clearPermuteVariableRandomly()
Definition: SatParameters.java:14890
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:7138
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:19896
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:14263
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:15347
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:14858
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4381
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:19096
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:15770
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:20942
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12602
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6999
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3821
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3752
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:21104
STRATIFICATION_DESCENT
Definition: SatParameters.java:2168
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3314
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6731
final int getNumber()
Definition: SatParameters.java:1545
Builder setMipVarScaling(double value)
Definition: SatParameters.java:21324
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4175
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:20498
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:17509
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:19300
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3866
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2901
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5602
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5449
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7156
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3214
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7328
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5906
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12052
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:13989
Builder clearCatchSigintSignal()
Definition: SatParameters.java:21021
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:19526
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:17459
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:13599
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13078
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1512
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4984
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15787
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1345
.lang.Override boolean hasName()
Definition: SatParameters.java:2690
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1309
final int getNumber()
Definition: SatParameters.java:2600
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4061
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:20928
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:18390
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:19508
static final int EXPAND_RESERVOIR_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4806
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3303
.lang.Override int getSerializedSize()
Definition: SatParameters.java:7958
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:20664
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6196
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:20472
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12725
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4744
Builder clearUseBranchingInLp()
Definition: SatParameters.java:20895
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:16544
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:15521
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14143
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6688
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:21697
Builder clearCpModelPresolve()
Definition: SatParameters.java:15720
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:10265
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:17569
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2349
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5538
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6353
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:12742
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3026
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12572
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:5995
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4692
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1903
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1096
Builder clearPolishLpSolution()
Definition: SatParameters.java:21151
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18314
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6468
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16867
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1595
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4541
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:12780
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19711
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:16632
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:15303
static final int USE_ABSL_RANDOM_FIELD_NUMBER
Definition: SatParameters.java:4168
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5717
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:21581
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3910
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2449
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:16445
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6877
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:21296
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12645
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:16617
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13559
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3790
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:14322
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:19583
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4760
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:20071
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1853
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2010
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4773
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3984
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:7030
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2760
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6178
Builder clearLinearizationLevel()
Definition: SatParameters.java:17365
Builder setMipMaxBound(double value)
Definition: SatParameters.java:21261
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3281
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:15682
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6464
static Polarity forNumber(int value)
Definition: SatParameters.java:1317
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:12286
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4228
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3191
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5767
STRATIFICATION_NONE
Definition: SatParameters.java:2159
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3850
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:19676
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:20275
PROTECTION_NONE
Definition: SatParameters.java:1637
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:17644
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:20207
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5842
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:12926
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6014
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6586
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5167
Builder clearDisableConstraintExpansion()
Definition: SatParameters.java:16345
Builder setRestartPeriod(int value)
Definition: SatParameters.java:13860
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:15956
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:13904
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5214
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:13271
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:17979
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4732
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:15706
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:13350
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:13847
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3143
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13052
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12525
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:7121
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2645
Builder setRandomSeed(int value)
Definition: SatParameters.java:14804
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:7059
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:19816
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4210
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3661
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5251
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4499
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:14748
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3588
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4918
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1090
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3914
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:16199
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:17044
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:15043
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:17872
Definition: SatParameters.java:1381
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:7090
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2779
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5646
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6250
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3436
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:18974
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2483
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:13039
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:18866
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6411
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:16416
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:14581
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13186
FIXED_SEARCH
Definition: SatParameters.java:2311
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:20330
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3260
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:18284
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1355
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5918
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:15058
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:19203
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:18927
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:18502
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:6060
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6889
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4988
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:6995
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5329
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2489
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3478
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:21672
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:15140
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:19021
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6429
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2081
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:20851
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3725
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:17383
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2932
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5584
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:20749
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4435
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4280
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5112
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4044
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6831
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:6028
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3020
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10239
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:4847
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6237
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4615
LUBY_RESTART
Definition: SatParameters.java:1895
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:14843
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:19065
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:10261
Builder clearPresolveUseBva()
Definition: SatParameters.java:15535
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1176
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14188
LP_SEARCH
Definition: SatParameters.java:2329
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4914
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:21005
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6827
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2773
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:14718
Builder clearExploitBestSolution()
Definition: SatParameters.java:18880
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6754
Builder setUseProbingSearch(boolean value)
Definition: SatParameters.java:19109
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6638
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5525
Builder clearUseProbingSearch()
Definition: SatParameters.java:19124
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4899
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13410
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3195
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:18987
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:16750
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6569
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:20530
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12953
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:20646
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7216
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3951
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:15393
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4557
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:17949
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3721
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4183
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:10652
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1463
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5496
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:18093
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14130
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6602
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:20224
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:10222
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:15157
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2542
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:16490
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4553
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14659
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12592
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10206
PROPAGATION_ASSISTED
Definition: SatParameters.java:2555
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:11366
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10216
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5306
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:18251
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:12754
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:13001
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:17087
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13212
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:19617
java.lang.String getName()
Definition: SatParameters.java:11912
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3160
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:12941
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:19599
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:14075
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15985
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:19648
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:15875
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:15665
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:16693
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:18854
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2987
boolean hasName()
Definition: SatParameters.java:11900
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:5154
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12869
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2919
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:15240
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:13380
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:18899
Builder clearClauseActivityDecay()
Definition: SatParameters.java:13530
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3118
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6105
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:21437
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:17809
Builder setName(java.lang.String value)
Definition: SatParameters.java:11958
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2766
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:17762
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:21247
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:12189
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16969
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:18590