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