Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
172 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
184 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
196 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
273 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
350 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
367 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
399 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
416 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
428 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
446 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
559 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
971 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1040 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1046 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1048 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1437 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1565 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2089 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2230 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2703 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2705 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2722 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2724 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2982 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2984 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2985 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3001 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3003 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3004 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3109 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3111 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3112 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3157 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3159 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3160 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3453 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3458 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3459 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3478 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3480 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4902 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
4904 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4905 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
4950 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
4952 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
4953 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5731 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5733 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5734 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6586 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6588 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6589 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
7788 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
8246 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
8259 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
8298 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
8303 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8393 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8438 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8458 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
8478 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
8509 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
8514 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
8595 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
8604 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
8609 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
8614 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
8619 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
8689 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
8771 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
8796 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
8806 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
8836 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
8890 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
8937 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
9717 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
9778 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
9784 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
9786 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
9867 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
10111 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10467 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
10473 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11043 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
11046 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
11049 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
11412 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
11420 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
11455 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
11456 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
11985 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
11987 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
11988 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
11995 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
12028 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
12030 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
12031 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
12038 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
12254 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
12255 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
12262 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
12356 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
12357 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
12364 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
12992 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
12994 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
13030 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
13076 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
13132 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
15912 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
15914 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
15915 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
15922 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
16014 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
16016 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
16017 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
16024 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
17607 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
17608 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
17615 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
19350 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
19351 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3314
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4065
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6392
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:11255
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:11663
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12364
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:19894
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3705
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:19043
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:17968
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4154
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6519
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1649
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14373
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:13931
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:6884
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:17836
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4558
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:16686
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13144
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3150
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5830
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:17416
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7077
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:11541
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:17718
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6369
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16080
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4255
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:15357
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5207
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17251
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6496
final int getNumber()
Definition: SatParameters.java:1248
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4195
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6659
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1512
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:19471
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7128
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:18335
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5724
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:12232
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4271
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6632
Builder clearAddCgCuts()
Definition: SatParameters.java:16727
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:12885
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:16451
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:19098
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:5979
Builder clearCutCleanupTarget()
Definition: SatParameters.java:17526
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:6759
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13076
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:14163
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15953
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:14687
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:6822
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6256
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16014
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:18164
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3832
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1540
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1290
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:15528
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5296
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:19259
Builder clearMipVarScaling()
Definition: SatParameters.java:20127
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6212
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5141
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:5901
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3914
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3021
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3845
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:18830
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2598
Builder clearUseRinsLns()
Definition: SatParameters.java:19273
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4831
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5337
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3446
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:18886
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3096
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5350
Builder clearVariableActivityDecay()
Definition: SatParameters.java:12684
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:11948
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12944
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14060
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1137
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4028
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4044
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1524
Builder clearUseLnsOnly()
Definition: SatParameters.java:19179
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4943
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12829
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:18902
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9735
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2833
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3529
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6388
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4408
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2288
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1115
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:15401
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5412
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:19638
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:19014
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:11626
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:17163
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:12542
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:19069
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4699
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:18689
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:19957
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:17657
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16037
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3063
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:16464
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:6692
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:14833
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:15319
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2627
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6208
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:19908
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:14245
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3036
final int getNumber()
Definition: SatParameters.java:1749
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15053
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4497
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12275
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5486
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4860
final int getNumber()
Definition: SatParameters.java:1909
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13544
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:17512
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:17402
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:17488
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:17093
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:4843
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:20448
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5731
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:13323
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:6741
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3007
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7081
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6569
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:16652
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15966
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:19652
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18933
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14628
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12498
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6648
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1469
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:16845
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:5944
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18151
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7038
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:4827
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3498
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:9758
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1679
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:14818
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6297
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:15079
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4902
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15003
STRATIFICATION_ASCENT
Definition: SatParameters.java:2128
final int getNumber()
Definition: SatParameters.java:2380
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1792
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:6915
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12811
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:14700
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3687
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:13762
Builder clearRestartPeriod()
Definition: SatParameters.java:13268
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18976
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2559
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5760
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:17864
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:15979
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:15190
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:17500
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:5857
final int getNumber()
Definition: SatParameters.java:2161
Builder clearRestartAlgorithms()
Definition: SatParameters.java:13125
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:20344
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6163
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13395
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17453
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:14883
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12051
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3595
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:13845
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:17292
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:17585
.lang.Override Builder clear()
Definition: SatParameters.java:9805
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3040
Builder clearLogSearchProgress()
Definition: SatParameters.java:14271
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:18643
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:14745
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:18427
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3197
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2817
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:19485
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17217
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12697
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:19502
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3622
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6586
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4404
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4139
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12566
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12008
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20198
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:19599
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6338
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:16373
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13163
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19208
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3450
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15559
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2802
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12842
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4288
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:14869
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:19000
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:14569
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1759
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3404
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:18229
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16294
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:19985
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5325
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4908
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:17353
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6074
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:16830
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6419
Builder clearUseOptimizationHints()
Definition: SatParameters.java:15719
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19348
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:13948
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4599
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5639
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9710
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2677
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17268
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5219
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11433
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2784
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1536
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:14016
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:6809
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6573
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4076
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:15635
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12962
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:9695
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9678
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:9783
Builder clearName()
Definition: SatParameters.java:11370
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:16771
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:6933
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:12628
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16195
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:18796
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:18266
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4230
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4680
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2074
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3079
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:12758
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5067
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:10758
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:17703
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:19831
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:19717
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:19153
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:13440
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1504
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15912
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:11779
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:18701
CLAUSE_ACTIVITY
Definition: SatParameters.java:1720
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:12646
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15935
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13497
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1141
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5443
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1145
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:15178
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4199
PROTECTION_LBD
Definition: SatParameters.java:1602
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4804
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:13881
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:6778
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:20326
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17597
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4344
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:19314
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13137
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7018
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3329
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7042
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5565
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15225
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2038
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:12418
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3256
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6334
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6675
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2205
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2412
PORTFOLIO_SEARCH
Definition: SatParameters.java:2268
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3978
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5071
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15512
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:11329
final int getNumber()
Definition: SatParameters.java:2020
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:4800
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19200
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3431
Builder clearCoverOptimization()
Definition: SatParameters.java:15892
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13505
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6008
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2932
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2767
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:18313
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:19302
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:16529
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1796
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17201
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:10110
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5643
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1927
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1951
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:17432
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:15818
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6380
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5673
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:11521
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6617
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2837
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12819
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1641
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:19782
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5482
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:13367
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3786
.lang.Override int hashCode()
Definition: SatParameters.java:8964
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:17880
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:11898
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1955
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3929
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3651
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:5884
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3275
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:13790
final int getNumber()
Definition: SatParameters.java:1367
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16605
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12071
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3373
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15496
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6195
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3985
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18138
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6415
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4595
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:15343
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:20308
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4684
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:14039
AUTOMATIC_SEARCH
Definition: SatParameters.java:2250
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:17133
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:19702
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2424
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6430
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12713
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:11730
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16270
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:5872
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:18746
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:16971
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:17817
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:15434
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19218
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3557
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2864
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:6929
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1465
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:9717
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3731
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:13341
.lang.Override Builder clone()
Definition: SatParameters.java:10748
static Builder newBuilder()
Definition: SatParameters.java:9745
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1860
.lang.Override Builder toBuilder()
Definition: SatParameters.java:9752
Builder clearMipCheckPrecision()
Definition: SatParameters.java:20435
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:9777
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:18214
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12705
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:11793
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4328
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4974
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5263
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3127
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20148
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2982
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4920
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:6898
Definition: SatParameters.java:2100
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5126
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12086
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:14467
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4176
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3896
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4340
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:17785
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:17388
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:15605
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:13609
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12252
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2201
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:20180
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:16499
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1298
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:9729
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4468
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:11760
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:15388
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:18369
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:19971
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1422
Builder clearRandomSeed()
Definition: SatParameters.java:14216
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13643
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5554
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:20417
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16006
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:15760
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16353
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:18759
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:19165
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:19875
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:13101
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:20243
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:5915
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:20020
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6037
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3271
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:6946
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13595
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:6840
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16313
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12936
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:10129
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3478
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:15475
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6579
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1675
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:20478
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1385
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7118
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2696
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:4815
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:19796
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2590
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:13454
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:13669
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5416
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11933
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11453
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12723
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3400
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1671
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:20401
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5354
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6530
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2064
FIXED_RESTART
Definition: SatParameters.java:1868
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13684
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3392
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7059
Builder clearMaxNumCuts()
Definition: SatParameters.java:16546
CLAUSE_LBD
Definition: SatParameters.java:1728
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2215
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:10120
int getRestartAlgorithmsCount()
Definition: SatParameters.java:13011
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:9673
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17615
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15567
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:17113
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:11501
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:12204
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13050
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4464
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17605
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:18578
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:15864
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:19290
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4626
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4317
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:14757
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6484
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2771
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:19619
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:14713
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5515
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:13743
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2060
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1776
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:14897
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:18444
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18179
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2747
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5650
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:18016
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:11260
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5594
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:11386
Builder clearExpandElementConstraints()
Definition: SatParameters.java:15302
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6041
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:14507
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2171
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:15851
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3662
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:15149
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:15166
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20164
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:17770
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:5975
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6373
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:20385
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3157
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4667
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5013
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:18410
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6500
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4061
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1788
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:13862
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:13828
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:20442
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13180
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:17180
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2994
.lang.Override int getRandomSeed()
Definition: SatParameters.java:14180
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13194
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:12306
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5464
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:3974
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12244
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:136
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6964
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3879
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16251
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:17544
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:14942
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:11716
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5170
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4547
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:16990
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:14321
Builder clearNumSearchWorkers()
Definition: SatParameters.java:18849
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12354
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12858
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16120
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1151
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:12159
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6245
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:14803
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:14125
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6557
Builder clearFindMultipleCores()
Definition: SatParameters.java:15833
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:14582
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4993
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:16388
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6999
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6070
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4715
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1212
IN_ORDER
Definition: SatParameters.java:1068
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6272
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:6902
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5381
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16234
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:19459
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:6727
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4300
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:143
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12461
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15904
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:17057
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5236
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:13030
Builder clearAddCliqueCuts()
Definition: SatParameters.java:16908
Builder clearMipWantedPrecision()
Definition: SatParameters.java:20285
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3347
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:11879
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:16479
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17628
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1685
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2703
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12020
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3051
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16332
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14358
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:10780
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4535
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6148
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13552
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:18090
Builder clearRepairHint()
Definition: SatParameters.java:17750
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1767
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:12101
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:6995
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5447
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:4872
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:6791
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6457
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4933
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11420
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:15375
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3626
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4752
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5050
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4956
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2179
LOCK_BASED
Definition: SatParameters.java:2482
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4212
Builder clearStopAfterPresolve()
Definition: SatParameters.java:18774
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:18281
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6144
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3186
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5145
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:18677
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:16878
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14068
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6621
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5608
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13411
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2798
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2578
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:15877
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:15287
Builder clearUseBlockingRestart()
Definition: SatParameters.java:13484
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4889
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:10763
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3321
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1204
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:17075
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:14654
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3803
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:18388
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:18463
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:11845
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6644
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6226
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19340
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14448
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:18104
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1396
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14078
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2915
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13562
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15585
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12868
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3997
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:15111
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5662
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3756
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:19732
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:14097
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5174
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3655
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:19110
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5685
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4390
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14669
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7096
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1965
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4520
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:18484
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16061
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:14535
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3115
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:13702
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:13227
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3582
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6473
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:17669
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:13309
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12595
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:19514
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18949
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4551
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5203
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:12850
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5581
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3599
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13403
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2390
final int getNumber()
Definition: SatParameters.java:1097
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:13728
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15066
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:19526
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13625
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:11697
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1107
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5612
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:15460
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3333
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:16403
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4655
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:15702
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3174
Builder clearRandomizeSearch()
Definition: SatParameters.java:19540
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:20097
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17325
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:17800
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5519
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3362
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4726
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:16712
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:12897
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12520
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4242
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:4785
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:15274
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3205
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5658
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12453
Builder clearUseOptionalVariables()
Definition: SatParameters.java:19682
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3828
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:5764
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:11647
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18613
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:17233
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5714
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:18870
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16217
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:13285
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:16941
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:17850
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:13776
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1939
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:12406
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10752
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:16668
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4582
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5398
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15243
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:13354
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:6867
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13513
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:16745
NEAREST_INTEGER
Definition: SatParameters.java:2472
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11977
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:4856
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:15736
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10774
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2895
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19371
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12028
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18941
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11463
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3438
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5108
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5292
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14429
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2567
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15217
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:19055
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6268
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2604
Builder clearUsePhaseSaving()
Definition: SatParameters.java:11563
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:5948
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:5919
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:8191
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4480
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:12909
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3638
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:16638
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1550
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12587
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:6960
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4226
Builder clearExpandTableConstraints()
Definition: SatParameters.java:15416
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:16804
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2068
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:15792
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16159
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5748
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17471
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3570
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6507
Builder clearUsePbResolution()
Definition: SatParameters.java:14338
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6442
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4121
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17461
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6022
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3366
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:19031
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:9684
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6127
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2965
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18660
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3190
Builder clearOptimizeWithCore()
Definition: SatParameters.java:18246
Builder clearUseExactLpReason()
Definition: SatParameters.java:19749
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6671
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4524
Builder clearMipMaxBound()
Definition: SatParameters.java:20064
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4358
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:11610
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1278
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2652
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5534
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2209
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:13901
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:5931
final int getNumber()
Definition: SatParameters.java:1631
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3310
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6111
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2950
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1416
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:13916
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:20263
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:15261
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:11596
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16176
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:17570
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:20468
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:20483
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:17018
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:13806
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4767
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:11744
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1659
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3712
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4566
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11402
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:19402
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6515
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:12293
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2899
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:11862
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3720
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5249
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4284
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4024
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7112
Builder clearHintConflictLimit()
Definition: SatParameters.java:17683
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3415
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11476
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2428
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3724
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2988
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:15331
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:13995
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4092
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3102
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:10768
PROTECTION_ALWAYS
Definition: SatParameters.java:1594
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:16955
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1408
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:15652
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:5793
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:18715
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:19086
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5030
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16577
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:18552
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6241
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:3953
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:16892
Builder clearAddMirCuts()
Definition: SatParameters.java:16786
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:14850
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6090
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:15135
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2690
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5188
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:18352
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:12217
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:19235
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4449
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3522
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5267
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5157
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19358
Builder clearUseImpliedBounds()
Definition: SatParameters.java:20001
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3774
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11410
Builder setRepairHint(boolean value)
Definition: SatParameters.java:17733
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3292
HINT_SEARCH
Definition: SatParameters.java:2308
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:14521
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5718
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:18959
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17280
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:5826
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3001
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:14257
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:19328
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:14610
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:11807
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6055
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:16758
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:12790
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1377
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15094
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4508
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:17897
Builder clearMinimizeCore()
Definition: SatParameters.java:15774
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1919
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13421
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3743
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:11823
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14988
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12377
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5737
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5861
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3518
Builder clearUseRelaxationLns()
Definition: SatParameters.java:19430
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:14233
Builder clearExploitObjective()
Definition: SatParameters.java:18057
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:16590
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13205
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15994
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:4885
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2189
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5577
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:17998
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:12191
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4125
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2048
Builder clearInterleaveSearch()
Definition: SatParameters.java:18920
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4373
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3381
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:14728
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:6853
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:18813
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13656
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:14595
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4259
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:15018
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:19859
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11995
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6714
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3770
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3701
STRATIFICATION_DESCENT
Definition: SatParameters.java:2117
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3263
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6446
final int getNumber()
Definition: SatParameters.java:1494
Builder setMipVarScaling(double value)
Definition: SatParameters.java:20111
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:19415
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16564
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:18296
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3815
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2850
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5385
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5232
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6871
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3163
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:6979
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5689
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11445
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:13382
Builder clearCatchSigintSignal()
Definition: SatParameters.java:19938
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:16514
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:12992
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12471
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1461
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15035
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1294
.lang.Override boolean hasName()
Definition: SatParameters.java:2639
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1258
final int getNumber()
Definition: SatParameters.java:2549
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4010
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:19845
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17445
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3252
.lang.Override int getSerializedSize()
Definition: SatParameters.java:7581
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:19581
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:19389
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12118
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4622
Builder clearUseBranchingInLp()
Definition: SatParameters.java:19812
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:14769
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13536
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6403
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:20488
Builder clearCpModelPresolve()
Definition: SatParameters.java:14968
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:9748
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:16624
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2298
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5321
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6107
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:12135
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2975
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11965
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:5778
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4570
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1852
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1045
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17369
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6183
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:15922
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1544
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4419
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:12173
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18628
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:15687
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:14551
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5500
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:20364
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3859
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2398
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15575
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6592
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:20083
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12038
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:15672
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12952
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3739
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:13715
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:18500
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4638
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:18988
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1802
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1959
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4651
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3933
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:6745
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2709
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:5961
Builder clearLinearizationLevel()
Definition: SatParameters.java:16420
Builder setMipMaxBound(double value)
Definition: SatParameters.java:20048
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3230
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:14930
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6179
static Polarity forNumber(int value)
Definition: SatParameters.java:1266
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:11679
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4106
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3140
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5550
STRATIFICATION_NONE
Definition: SatParameters.java:2108
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3799
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:18593
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19192
PROTECTION_NONE
Definition: SatParameters.java:1586
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:16699
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:19124
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5625
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:12319
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5797
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6301
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4950
Builder setRestartPeriod(int value)
Definition: SatParameters.java:13253
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:15204
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:13297
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4997
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:12664
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:17034
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4610
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:14954
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:12743
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:13240
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3092
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12445
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11918
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:6836
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2594
Builder setRandomSeed(int value)
Definition: SatParameters.java:14197
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:6774
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:18733
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4088
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3610
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5034
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4377
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:14141
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3537
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4738
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1039
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3863
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:15447
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:16099
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:14291
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:16927
Definition: SatParameters.java:1330
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:6805
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2728
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5429
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6004
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3385
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:18029
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2432
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:12432
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:17921
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15546
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:13974
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12579
FIXED_SEARCH
Definition: SatParameters.java:2260
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:19247
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3209
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17339
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1304
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5701
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:14306
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:18199
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:17982
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:17557
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:5843
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6604
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4771
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:6710
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5112
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2438
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3427
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:20463
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:14388
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:18076
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2030
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:19768
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3674
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:16438
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2881
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5367
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:19666
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4313
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4158
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4895
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3993
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6546
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:5811
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2969
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9722
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5991
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4493
LUBY_RESTART
Definition: SatParameters.java:1844
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:18120
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:9744
Builder clearPresolveUseBva()
Definition: SatParameters.java:14783
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1125
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13581
LP_SEARCH
Definition: SatParameters.java:2278
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4734
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:19922
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6542
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2722
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:14111
Builder clearExploitBestSolution()
Definition: SatParameters.java:17935
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6469
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6353
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5308
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4719
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:12803
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3144
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:18042
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:15805
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6284
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:19447
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12346
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:19563
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3900
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14641
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4435
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:17004
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3670
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:10115
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1412
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5279
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:17148
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13523
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6317
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:19141
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:9705
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14405
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2491
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:15620
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4431
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14052
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11985
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9689
PROPAGATION_ASSISTED
Definition: SatParameters.java:2504
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:10789
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9699
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5089
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17306
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:12147
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:12394
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16142
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12605
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:18534
java.lang.String getName()
Definition: SatParameters.java:11305
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3109
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:12334
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:18516
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:13468
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15233
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:18565
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:15123
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:14913
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:15748
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:17909
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2936
boolean hasName()
Definition: SatParameters.java:11293
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4937
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12262
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2868
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14488
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:12773
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:17954
Builder clearClauseActivityDecay()
Definition: SatParameters.java:12923
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3067
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5888
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:20223
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:16864
Builder setName(java.lang.String value)
Definition: SatParameters.java:11351
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2715
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:16817
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:20034
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:11582
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16024
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:17645