Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
156 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
168 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
180 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
257 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
334 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
351 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
383 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
400 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
412 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
430 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
543 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
911 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
917 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
919 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1308 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1436 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
1960 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2101 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2346 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2365 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2576 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2578 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2579 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2595 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2597 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2598 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2699 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2700 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2745 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2746 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3017 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3022 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3023 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3041 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3043 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4216 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4217 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
4260 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
4262 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
4263 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
4814 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
4815 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6556 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
6921 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
6934 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
6973 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
6978 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
7068 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
7101 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
7121 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
7141 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
7172 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
7238 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
7247 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
7252 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
7257 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
7262 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
7317 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
7362 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
7387 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
7397 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
7422 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
7472 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
8196 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
8257 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8263 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
8265 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
8342 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
8548 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8870 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
8876 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
9367 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
9370 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
9373 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
9581 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
9589 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
9623 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
10069 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
10071 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
10072 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
10079 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
10111 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
10113 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
10114 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
10121 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
10330 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
10331 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
10338 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
10429 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
10430 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
10437 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
11043 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
11045 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
11081 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
11127 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
11183 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
13542 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
13544 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
13545 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
13552 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
13641 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
13643 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
13644 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
13651 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
14802 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
14803 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
14810 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2890
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3535
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:5319
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:9540
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10437
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3253
boolean getDiversifyLnsParams()
Definition: SatParameters.java:16323
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:5465
boolean getUseExactLpReason()
Definition: SatParameters.java:5660
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:3839
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1520
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:15077
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:11968
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2363
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11195
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:10215
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4849
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:16424
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:9701
boolean hasMipMaxBound()
Definition: SatParameters.java:16867
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:13120
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4503
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:14663
boolean hasLogSearchProgress()
Definition: SatParameters.java:3545
final int getNumber()
Definition: SatParameters.java:1119
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1383
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2961
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:16335
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:5959
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:10309
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:13839
Builder clearAddCgCuts()
Definition: SatParameters.java:14334
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2743
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4959
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2811
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:11127
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2545
boolean getInstantiateAllVariables()
Definition: SatParameters.java:5174
int getPresolveBveClauseWeight()
Definition: SatParameters.java:3713
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14188
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:15162
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3372
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:15328
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10321
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1411
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1161
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:13171
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4586
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:16225
Builder clearMipVarScaling()
Definition: SatParameters.java:16971
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:5178
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12270
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10587
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2588
boolean hasUseRelaxationLns()
Definition: SatParameters.java:16256
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:4692
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:15796
Builder clearUseRinsLns()
Definition: SatParameters.java:16239
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4147
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2684
Builder clearVariableActivityDecay()
Definition: SatParameters.java:10747
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:13245
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:14548
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:10033
static final int DETERMINISTIC_PARALLEL_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5344
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3496
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:13914
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2668
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3618
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1008
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3079
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3500
boolean hasCatchSigintSignal()
Definition: SatParameters.java:16745
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:4942
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1395
boolean getInstantiateAllVariables()
Definition: SatParameters.java:15551
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:5132
Builder clearUseLnsOnly()
Definition: SatParameters.java:16149
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10886
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:15859
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8214
boolean getAddKnapsackCuts()
Definition: SatParameters.java:14247
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13535
boolean hasOptimizeWithCore()
Definition: SatParameters.java:15196
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3856
boolean hasMipVarScaling()
Definition: SatParameters.java:5821
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2159
static VariableOrder forNumber(int value)
Definition: SatParameters.java:986
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:11333
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:15929
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:14577
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:10609
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:16043
boolean hasUsePhaseSaving()
Definition: SatParameters.java:9666
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10420
boolean getMinimizeCore()
Definition: SatParameters.java:4143
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:14614
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3283
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13664
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:14079
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3355
double getMipVarScaling()
Definition: SatParameters.java:16941
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:12716
double getRandomPolarityRatio()
Definition: SatParameters.java:9756
boolean getAddCgCuts()
Definition: SatParameters.java:14306
final int getNumber()
Definition: SatParameters.java:1620
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10018
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3908
boolean hasLinearizationLevel()
Definition: SatParameters.java:4427
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10351
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:4679
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2832
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4174
boolean hasMipCheckPrecision()
Definition: SatParameters.java:17152
final int getNumber()
Definition: SatParameters.java:1780
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:14509
Builder setDeterministicParallelSearch(boolean value)
Definition: SatParameters.java:15974
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3213
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:17211
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4320
boolean getDiversifyLnsParams()
Definition: SatParameters.java:5538
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:11370
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2601
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2451
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5916
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:5718
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:14261
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:13259
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:15401
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5542
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1340
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:3918
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4087
boolean getInterleaveSearch()
Definition: SatParameters.java:5315
boolean hasUsePbResolution()
Definition: SatParameters.java:3573
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:8237
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1550
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:12889
STRATIFICATION_ASCENT
Definition: SatParameters.java:1999
final int getNumber()
Definition: SatParameters.java:2251
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1663
boolean hasFindMultipleCores()
Definition: SatParameters.java:4158
Builder clearRestartPeriod()
Definition: SatParameters.java:11317
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:14933
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:13607
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:12996
long getProbingPeriodAtRoot()
Definition: SatParameters.java:15090
final int getNumber()
Definition: SatParameters.java:2032
boolean getShareObjectiveBounds()
Definition: SatParameters.java:16017
boolean getRandomizeSearch()
Definition: SatParameters.java:16376
Builder clearRestartAlgorithms()
Definition: SatParameters.java:11176
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:17113
double getMipMaxBound()
Definition: SatParameters.java:16880
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2697
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3386
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:15947
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10134
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:14781
boolean getUseLnsOnly()
Definition: SatParameters.java:16123
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:5030
.lang.Override Builder clear()
Definition: SatParameters.java:8284
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2632
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3420
Builder clearLogSearchProgress()
Definition: SatParameters.java:12172
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:5079
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:15627
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:14842
boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:3892
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3096
boolean getUseExactLpReason()
Definition: SatParameters.java:16573
boolean hasVariableActivityDecay()
Definition: SatParameters.java:10692
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:4861
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:16349
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16168
boolean hasAddMirCuts()
Definition: SatParameters.java:14351
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12518
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2714
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:14681
boolean getMinimizeCore()
Definition: SatParameters.java:13383
boolean getUsePhaseSaving()
Definition: SatParameters.java:2402
boolean hasUseExactLpReason()
Definition: SatParameters.java:16559
double getGlucoseMaxDecay()
Definition: SatParameters.java:10817
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4056
boolean getStopAfterPresolve()
Definition: SatParameters.java:5257
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10633
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10092
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:16459
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:13687
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5288
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2628
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11214
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16176
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:14234
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3014
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12343
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2576
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2406
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3744
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2849
boolean hasUseOptimizationHints()
Definition: SatParameters.java:13310
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:15915
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:15488
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1630
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2972
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:15225
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3755
boolean hasUseExactLpReason()
Definition: SatParameters.java:5646
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:16833
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4220
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:16070
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:14708
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3657
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:5048
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5373
Builder clearUseOptimizationHints()
Definition: SatParameters.java:13356
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:11985
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3985
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3483
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8189
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9602
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1407
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:12575
int getPresolveBveThreshold()
Definition: SatParameters.java:12414
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4724
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:5693
double getMipCheckPrecision()
Definition: SatParameters.java:17166
int getClauseCleanupTarget()
Definition: SatParameters.java:2680
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:5162
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:13705
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:13274
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11013
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:8174
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8157
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:8262
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:14376
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5809
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:13818
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3690
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1945
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:9108
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3236
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1375
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4812
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:15683
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4371
CLAUSE_ACTIVITY
Definition: SatParameters.java:1591
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13565
int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:3904
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1012
int getPresolveBveClauseWeight()
Definition: SatParameters.java:12473
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:15660
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:11735
boolean hasUseOptionalVariables()
Definition: SatParameters.java:16497
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1016
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3661
PROTECTION_LBD
Definition: SatParameters.java:1473
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4122
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:11920
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:5664
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:12687
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3796
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11188
boolean hasInterleaveSearch()
Definition: SatParameters.java:15830
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:5879
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1909
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:10489
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2836
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:5230
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2595
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:14562
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:5705
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:5567
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2076
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2283
PORTFOLIO_SEARCH
Definition: SatParameters.java:2139
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:5408
boolean hasMipWantedPrecision()
Definition: SatParameters.java:5856
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:11939
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4375
final int getNumber()
Definition: SatParameters.java:1891
boolean getUseOptimizationHints()
Definition: SatParameters.java:13324
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2997
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2569
Builder clearCoverOptimization()
Definition: SatParameters.java:13523
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:4986
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3299
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:12920
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:15307
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:14142
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1667
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:8547
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:16312
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1798
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1822
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:10803
boolean getLogSearchProgress()
Definition: SatParameters.java:12146
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:13451
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10111
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:10368
boolean getExpandElementConstraints()
Definition: SatParameters.java:13039
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2439
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4283
int getMaxAllDiffCutSize()
Definition: SatParameters.java:14422
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10876
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1512
int getLinearizationLevel()
Definition: SatParameters.java:14005
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:11412
.lang.Override int hashCode()
Definition: SatParameters.java:7541
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3165
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:14949
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:12016
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:9985
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14800
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1826
boolean getUseLnsOnly()
Definition: SatParameters.java:5444
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3266
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2968
int getClauseCleanupTarget()
Definition: SatParameters.java:10281
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2853
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:11829
final int getNumber()
Definition: SatParameters.java:1238
boolean getCpModelPresolve()
Definition: SatParameters.java:12821
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14216
int getClauseCleanupPeriod()
Definition: SatParameters.java:10226
int getClauseCleanupPeriod()
Definition: SatParameters.java:2653
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:13106
boolean getExpandElementConstraints()
Definition: SatParameters.java:3981
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9572
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10905
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:11868
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4010
AUTOMATIC_SEARCH
Definition: SatParameters.java:2121
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4207
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:15671
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2295
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3453
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:13766
boolean getUseOptionalVariables()
Definition: SatParameters.java:5629
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10774
boolean getUseBlockingRestart()
Definition: SatParameters.java:3249
boolean getUseRinsLns()
Definition: SatParameters.java:5486
boolean getUseRelaxationLns()
Definition: SatParameters.java:16268
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:13891
boolean hasAddCgCuts()
Definition: SatParameters.java:4570
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:14452
double getInitialVariablesActivity()
Definition: SatParameters.java:9949
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:14888
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16186
boolean hasUsePbResolution()
Definition: SatParameters.java:12191
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10652
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:5369
boolean getUseOptimizationHints()
Definition: SatParameters.java:4118
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1336
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:8196
boolean getUseRinsLns()
Definition: SatParameters.java:16213
.lang.Override Builder clone()
Definition: SatParameters.java:9098
static Builder newBuilder()
Definition: SatParameters.java:8224
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5191
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1731
.lang.Override Builder toBuilder()
Definition: SatParameters.java:8231
Builder clearMipCheckPrecision()
Definition: SatParameters.java:17198
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:8256
boolean getUseImpliedBounds()
Definition: SatParameters.java:16819
int getPbCleanupIncrement()
Definition: SatParameters.java:2770
boolean hasUseOptimizationHints()
Definition: SatParameters.java:4104
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:12984
boolean getUseErwaHeuristic()
Definition: SatParameters.java:2493
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3003
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10766
boolean hasVariableActivityDecay()
Definition: SatParameters.java:2869
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13208
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3259
int getPresolveBvaThreshold()
Definition: SatParameters.java:12701
Definition: SatParameters.java:1970
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:12362
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3728
boolean hasExploitBestSolution()
Definition: SatParameters.java:14965
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3740
int getMipMaxActivityExponent()
Definition: SatParameters.java:5912
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:15598
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:11644
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2072
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10328
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1169
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:8208
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3881
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:9851
boolean getStopAfterPresolve()
Definition: SatParameters.java:15726
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:15361
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1293
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:5098
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13140
Builder clearRandomSeed()
Definition: SatParameters.java:12119
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:5147
boolean getUseBranchingInLp()
Definition: SatParameters.java:16636
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:15344
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:4831
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:17181
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:13395
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:13972
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:15739
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:16135
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:9808
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:16727
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:11152
boolean hasPresolveUseBva()
Definition: SatParameters.java:3781
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:15539
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:5722
boolean getOptimizeWithCore()
Definition: SatParameters.java:5013
double getMaxTimeInSeconds()
Definition: SatParameters.java:3368
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3115
boolean getLogSearchProgress()
Definition: SatParameters.java:3556
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:8566
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4006
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1546
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:17241
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1256
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:5949
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4073
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:16650
int getClauseCleanupLbdBound()
Definition: SatParameters.java:10380
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4970
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:16697
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:11702
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:5114
boolean hasExploitObjective()
Definition: SatParameters.java:15019
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10784
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1542
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13155
boolean hasPresolveUseBva()
Definition: SatParameters.java:12631
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1935
boolean hasUseRinsLns()
Definition: SatParameters.java:16202
FIXED_RESTART
Definition: SatParameters.java:1739
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:11717
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14176
Builder clearMaxNumCuts()
Definition: SatParameters.java:14159
CLAUSE_LBD
Definition: SatParameters.java:1599
boolean getUseBranchingInLp()
Definition: SatParameters.java:5689
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3010
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2086
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:8557
int getRestartAlgorithmsCount()
Definition: SatParameters.java:11062
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:8152
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14810
boolean getPresolveUseBva()
Definition: SatParameters.java:3792
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:14529
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3191
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:4658
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:11101
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:15564
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:5219
boolean getPresolveUseBva()
Definition: SatParameters.java:12642
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3771
double getMipWantedPrecision()
Definition: SatParameters.java:17014
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10645
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:4783
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10566
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:16479
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:12600
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:11778
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1931
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1647
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11581
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:12778
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:15434
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2896
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4526
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15177
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3604
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9545
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:13083
boolean hasUseBranchingInLp()
Definition: SatParameters.java:5676
Builder clearExpandElementConstraints()
Definition: SatParameters.java:13067
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:5017
boolean hasCpModelPresolve()
Definition: SatParameters.java:3866
boolean getUseImpliedBounds()
Definition: SatParameters.java:5776
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2042
double getRestartDlAverageRatio()
Definition: SatParameters.java:11399
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:12957
double getRandomBranchesRatio()
Definition: SatParameters.java:2464
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2480
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:5895
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14793
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3220
int getCpModelProbingLevel()
Definition: SatParameters.java:3929
double getMaxTimeInSeconds()
Definition: SatParameters.java:11748
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4739
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4231
boolean hasClauseActivityDecay()
Definition: SatParameters.java:2982
boolean hasUseImpliedBounds()
Definition: SatParameters.java:5763
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5448
boolean hasStopAfterPresolve()
Definition: SatParameters.java:5245
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1659
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:11901
double getRandomBranchesRatio()
Definition: SatParameters.java:9821
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:17205
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:13594
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11231
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3089
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:14594
double getRestartDlAverageRatio()
Definition: SatParameters.java:3203
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11245
boolean hasUseOptionalVariables()
Definition: SatParameters.java:5616
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:121
boolean hasNumSearchWorkers()
Definition: SatParameters.java:5272
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10153
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11574
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:9869
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:13872
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4355
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2512
boolean hasRestartPeriod()
Definition: SatParameters.java:3139
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15149
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10104
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:12220
boolean hasMipWantedPrecision()
Definition: SatParameters.java:16995
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:14409
Builder clearNumSearchWorkers()
Definition: SatParameters.java:15811
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10913
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:13745
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1022
boolean getFindMultipleCores()
Definition: SatParameters.java:13438
boolean getExploitBestSolution()
Definition: SatParameters.java:14976
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:10238
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5209
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3327
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:12030
Builder clearFindMultipleCores()
Definition: SatParameters.java:13466
boolean hasUseImpliedBounds()
Definition: SatParameters.java:16806
boolean hasMipVarScaling()
Definition: SatParameters.java:16928
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5838
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4336
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1083
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4456
IN_ORDER
Definition: SatParameters.java:939
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:5234
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:5780
boolean getFindMultipleCores()
Definition: SatParameters.java:4170
boolean hasExpandElementConstraints()
Definition: SatParameters.java:3969
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10427
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:128
boolean hasCatchSigintSignal()
Definition: SatParameters.java:5734
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:5419
int getLinearizationLevel()
Definition: SatParameters.java:4441
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10530
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:10269
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4530
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10004
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:11081
Builder clearMipWantedPrecision()
Definition: SatParameters.java:17056
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:9966
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:14094
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:16059
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:14823
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:14629
int getRandomSeed()
Definition: SatParameters.java:3531
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1556
boolean hasUseBranchingInLp()
Definition: SatParameters.java:16623
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:4706
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:13951
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:9741
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:9130
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:5118
int getCpModelProbingLevel()
Definition: SatParameters.java:12931
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11589
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13641
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1638
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:10182
long getSearchRandomizationTolerance()
Definition: SatParameters.java:16441
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:4642
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9589
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:11617
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3180
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:3943
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4266
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2050
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:10466
boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:12864
Builder clearStopAfterPresolve()
Definition: SatParameters.java:15754
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:5063
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5329
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4445
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:5517
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11454
boolean hasInterleaveSearch()
Definition: SatParameters.java:5301
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:13508
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:13052
Builder clearUseBlockingRestart()
Definition: SatParameters.java:11525
double getVariableActivityDecay()
Definition: SatParameters.java:2886
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4201
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:9113
boolean getCatchSigintSignal()
Definition: SatParameters.java:16758
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4214
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1075
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:12543
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3343
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:15380
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:15453
boolean hasLogSearchProgress()
Definition: SatParameters.java:12135
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12530
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:15104
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1267
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13634
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:15417
double getRandomPolarityRatio()
Definition: SatParameters.java:2435
int getNumSearchWorkers()
Definition: SatParameters.java:15783
double getMipVarScaling()
Definition: SatParameters.java:5834
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11599
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:13094
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13226
boolean hasMipMaxBound()
Definition: SatParameters.java:5792
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9621
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:12003
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10923
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3471
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:16588
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3312
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4472
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3207
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:16082
double getVariableActivityDecay()
Definition: SatParameters.java:10709
int getMaxPresolveIterations()
Definition: SatParameters.java:3852
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12558
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1836
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10167
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:12428
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2703
int getNumSearchWorkers()
Definition: SatParameters.java:5284
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10522
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2903
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:5423
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:11356
boolean hasUseLnsOnly()
Definition: SatParameters.java:5433
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10660
boolean getUseErwaHeuristic()
Definition: SatParameters.java:9882
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:4845
int getPresolveBveThreshold()
Definition: SatParameters.java:3686
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:4743
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3155
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2261
boolean getCoverOptimization()
Definition: SatParameters.java:13495
final int getNumber()
Definition: SatParameters.java:968
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:11762
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:16388
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:11660
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:9790
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:978
boolean getExploitObjective()
Definition: SatParameters.java:4926
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2907
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:14020
boolean hasMaxNumCuts()
Definition: SatParameters.java:4485
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4392
int getNewConstraintsBatchSize()
Definition: SatParameters.java:4795
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9579
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:13339
Builder clearRandomizeSearch()
Definition: SatParameters.java:16402
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:14871
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:13582
boolean hasMipCheckPrecision()
Definition: SatParameters.java:5929
boolean getUseBlockingRestart()
Definition: SatParameters.java:11495
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4710
int getRandomSeed()
Definition: SatParameters.java:12083
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12256
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:14319
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:14054
Builder clearUseOptionalVariables()
Definition: SatParameters.java:16540
int getBooleanEncodingLevel()
Definition: SatParameters.java:14066
boolean hasAddMirCuts()
Definition: SatParameters.java:4597
int getRestartPeriod()
Definition: SatParameters.java:11289
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:13932
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:14645
boolean getExploitBestSolution()
Definition: SatParameters.java:4899
long getMaxMemoryInMb()
Definition: SatParameters.java:11953
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:13855
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2356
int getPbCleanupIncrement()
Definition: SatParameters.java:10477
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1810
long getProbingPeriodAtRoot()
Definition: SatParameters.java:4955
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:9102
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:14277
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4410
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11552
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:15473
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:12401
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:5527
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:9124
boolean hasRestartPeriod()
Definition: SatParameters.java:11277
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9631
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4301
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:5383
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3276
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:16029
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10861
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12325
int getMaxNumCuts()
Definition: SatParameters.java:14127
Builder clearUsePhaseSaving()
Definition: SatParameters.java:9721
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:4930
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:4903
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10062
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:6876
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:10962
boolean getUsePbResolution()
Definition: SatParameters.java:12205
boolean getUseOptionalVariables()
Definition: SatParameters.java:16510
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1421
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10995
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4260
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1939
boolean hasLinearizationLevel()
Definition: SatParameters.java:13991
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3128
Builder clearUsePbResolution()
Definition: SatParameters.java:12237
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4024
boolean hasUseLnsOnly()
Definition: SatParameters.java:16112
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:4625
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2938
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:8163
int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:12876
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5340
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:15644
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2774
Builder clearOptimizeWithCore()
Definition: SatParameters.java:15242
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3701
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11439
Builder clearUseExactLpReason()
Definition: SatParameters.java:16605
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3933
Builder clearMipMaxBound()
Definition: SatParameters.java:16910
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1149
boolean getExploitAllLpSolution()
Definition: SatParameters.java:14919
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2337
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2080
long getMaxNumberOfConflicts()
Definition: SatParameters.java:11884
final int getNumber()
Definition: SatParameters.java:1502
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:5083
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:11387
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1287
boolean hasUseRinsLns()
Definition: SatParameters.java:5475
int getBinarySearchNumConflicts()
Definition: SatParameters.java:5044
boolean hasOptimizeWithCore()
Definition: SatParameters.java:4999
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:17034
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10868
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:14474
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:13799
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:14766
boolean hasExploitObjective()
Definition: SatParameters.java:4914
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:17231
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:17246
double getMipMaxBound()
Definition: SatParameters.java:5805
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:11847
boolean getShareObjectiveBounds()
Definition: SatParameters.java:5394
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:9835
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1530
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3041
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10988
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3639
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2497
boolean hasExploitBestSolution()
Definition: SatParameters.java:4888
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:15612
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:12461
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:15903
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9644
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2299
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3270
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2582
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3560
double getMaxDeterministicTime()
Definition: SatParameters.java:3401
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:3995
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:9118
PROTECTION_ALWAYS
Definition: SatParameters.java:1465
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:14436
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:12751
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1279
boolean hasCoverOptimization()
Definition: SatParameters.java:4185
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:13291
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:15697
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:14694
boolean getAddMirCuts()
Definition: SatParameters.java:14363
Builder clearAddMirCuts()
Definition: SatParameters.java:14391
int getRestartAlgorithmsCount()
Definition: SatParameters.java:3060
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:12733
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:12943
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2331
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:10294
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3083
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4559
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:3809
Builder clearUseImpliedBounds()
Definition: SatParameters.java:16849
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2951
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3316
HINT_SEARCH
Definition: SatParameters.java:2179
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:4799
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:12158
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:12501
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:9896
boolean hasMinimizeCore()
Definition: SatParameters.java:4132
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2690
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:10849
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:14491
int getMaxPresolveIterations()
Definition: SatParameters.java:12764
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1248
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:12904
boolean hasCpModelPresolve()
Definition: SatParameters.java:12810
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2842
Builder clearMinimizeCore()
Definition: SatParameters.java:13409
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1790
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11464
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:14906
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:15261
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:5356
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3287
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:9912
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10450
boolean hasNumSearchWorkers()
Definition: SatParameters.java:15771
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4878
boolean getOptimizeWithCore()
Definition: SatParameters.java:15210
Builder clearUseRelaxationLns()
Definition: SatParameters.java:16296
int getMipMaxActivityExponent()
Definition: SatParameters.java:17095
Builder clearExploitObjective()
Definition: SatParameters.java:15059
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:14201
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11256
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:13622
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:15960
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2060
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3591
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1919
boolean getExploitAllLpSolution()
Definition: SatParameters.java:4874
Builder clearInterleaveSearch()
Definition: SatParameters.java:15876
boolean getUsePhaseSaving()
Definition: SatParameters.java:9683
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:12615
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10069
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:12486
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3717
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:16711
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2642
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10079
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:5583
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5604
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4039
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:4675
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3339
STRATIFICATION_DESCENT
Definition: SatParameters.java:1988
double getInitialVariablesActivity()
Definition: SatParameters.java:2528
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5398
final int getNumber()
Definition: SatParameters.java:1365
Builder setMipVarScaling(double value)
Definition: SatParameters.java:16955
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:16281
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:15290
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4049
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:16684
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4613
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2420
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5751
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2749
boolean getCoverOptimization()
Definition: SatParameters.java:4197
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4772
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:14856
boolean getAddCgCuts()
Definition: SatParameters.java:4582
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:11427
Builder clearCatchSigintSignal()
Definition: SatParameters.java:16788
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:11043
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10540
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1332
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4542
boolean getUsePbResolution()
Definition: SatParameters.java:3587
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:11630
int getRestartRunningWindowSize()
Definition: SatParameters.java:11344
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1165
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1129
boolean hasStopAfterPresolve()
Definition: SatParameters.java:15714
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5205
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:3954
.lang.Override int getSerializedSize()
Definition: SatParameters.java:6349
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10199
Builder clearUseBranchingInLp()
Definition: SatParameters.java:16666
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3673
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:12654
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4982
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:17251
Builder clearCpModelPresolve()
Definition: SatParameters.java:12847
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:8227
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2169
boolean getInterleaveSearch()
Definition: SatParameters.java:15844
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10050
boolean hasMinimizeCore()
Definition: SatParameters.java:13372
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3958
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1723
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:916
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:14724
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2614
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5151
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:11798
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13552
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1415
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:10252
double getMipWantedPrecision()
Definition: SatParameters.java:5875
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:12444
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:2920
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:17133
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2269
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:4768
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13216
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:5490
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10121
boolean hasCoverOptimization()
Definition: SatParameters.java:13483
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11003
int getRestartPeriod()
Definition: SatParameters.java:3151
double getClauseActivityDecay()
Definition: SatParameters.java:2993
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1673
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11446
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1830
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:5633
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2350
Builder clearLinearizationLevel()
Definition: SatParameters.java:14037
Builder setMipMaxBound(double value)
Definition: SatParameters.java:16894
boolean hasClauseActivityDecay()
Definition: SatParameters.java:10939
double getClauseActivityDecay()
Definition: SatParameters.java:10950
static Polarity forNumber(int value)
Definition: SatParameters.java:1137
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:9772
boolean hasExpandElementConstraints()
Definition: SatParameters.java:13027
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2787
STRATIFICATION_NONE
Definition: SatParameters.java:1979
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2944
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:15579
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:9933
boolean hasUseRelaxationLns()
Definition: SatParameters.java:5501
PROTECTION_NONE
Definition: SatParameters.java:1457
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:16096
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16161
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:10393
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2385
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4818
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:5261
Builder setRestartPeriod(int value)
Definition: SatParameters.java:11302
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:13010
int getPresolveBvaThreshold()
Definition: SatParameters.java:3823
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4305
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:10727
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:12833
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11537
Builder setRandomSeed(int value)
Definition: SatParameters.java:12100
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4340
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3827
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10515
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:12046
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4060
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:910
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3405
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:16006
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:13724
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:9614
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10898
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:4755
Definition: SatParameters.java:1200
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2369
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4253
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2955
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2303
boolean hasMaxNumCuts()
Definition: SatParameters.java:14113
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:10503
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:14988
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13189
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:15892
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:11677
FIXED_SEARCH
Definition: SatParameters.java:2131
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2791
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1175
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13201
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4091
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4414
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2309
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:17226
boolean getUseRelaxationLns()
Definition: SatParameters.java:5513
boolean hasFindMultipleCores()
Definition: SatParameters.java:13426
int getMaxNumCuts()
Definition: SatParameters.java:4499
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:12285
boolean getPresolveBlockedClause()
Definition: SatParameters.java:3767
int getRestartRunningWindowSize()
Definition: SatParameters.java:3176
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1901
boolean getPresolveBlockedClause()
Definition: SatParameters.java:12587
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3224
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:16524
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:5454
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3622
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2563
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8201
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:5461
boolean hasUseBlockingRestart()
Definition: SatParameters.java:11482
LUBY_RESTART
Definition: SatParameters.java:1715
double getMaxDeterministicTime()
Definition: SatParameters.java:11813
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:15120
double getGlucoseMaxDecay()
Definition: SatParameters.java:2934
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:8223
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2344
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:17078
boolean hasRandomSeed()
Definition: SatParameters.java:3515
Builder clearPresolveUseBva()
Definition: SatParameters.java:12668
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4514
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:996
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:11689
LP_SEARCH
Definition: SatParameters.java:2149
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11544
Builder clearDeterministicParallelSearch()
Definition: SatParameters.java:15990
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:13782
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:16772
Builder clearExploitBestSolution()
Definition: SatParameters.java:15002
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4043
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2730
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:15044
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3440
int getMaxAllDiffCutSize()
Definition: SatParameters.java:4638
boolean hasAddCgCuts()
Definition: SatParameters.java:14294
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:14741
boolean getRandomizeSearch()
Definition: SatParameters.java:5563
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:8552
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1283
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11562
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:8184
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12302
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:10759
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2780
long getMaxMemoryInMb()
Definition: SatParameters.java:3467
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8168
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:12973
boolean getExploitObjective()
Definition: SatParameters.java:15031
int getNewConstraintsBatchSize()
Definition: SatParameters.java:14753
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:9139
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8178
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2559
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13542
long getSearchRandomizationTolerance()
Definition: SatParameters.java:5600
boolean getAddKnapsackCuts()
Definition: SatParameters.java:4555
long getMaxNumberOfConflicts()
Definition: SatParameters.java:3436
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:10670
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2736
boolean hasRandomizeSearch()
Definition: SatParameters.java:16365
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:15522
boolean getCatchSigintSignal()
Definition: SatParameters.java:5747
boolean getCpModelPresolve()
Definition: SatParameters.java:3877
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:10408
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15137
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:15504
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:11509
int getBinarySearchNumConflicts()
Definition: SatParameters.java:15275
int getBooleanEncodingLevel()
Definition: SatParameters.java:4468
double getMipCheckPrecision()
Definition: SatParameters.java:5943
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4805
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2759
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:12794
boolean getAddMirCuts()
Definition: SatParameters.java:4609
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2532
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4247
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10338
boolean hasRandomizeSearch()
Definition: SatParameters.java:5552
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2468
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12383
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:10832
Builder clearClauseActivityDecay()
Definition: SatParameters.java:10976
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2657
int getClauseCleanupLbdBound()
Definition: SatParameters.java:2726
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4243
boolean hasRandomSeed()
Definition: SatParameters.java:12067
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:13651