Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
165 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
177 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
189 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
266 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
343 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
360 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
392 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
409 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
421 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
439 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
552 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
985 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
991 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
993 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1382 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1510 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2034 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2175 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2419 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2421 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2438 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2440 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2663 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2665 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2666 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2682 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2684 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2685 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2790 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
2792 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2793 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2838 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
2840 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2841 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3134 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3139 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3140 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3159 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3161 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4554 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
4556 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4557 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
4602 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
4604 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
4605 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5323 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5325 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5326 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
7269 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
7686 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
7699 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
7738 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
7743 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
7833 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
7878 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
7898 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
7918 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
7949 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
7954 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
8030 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
8039 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
8044 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
8049 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
8054 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
8114 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
8191 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
8216 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
8226 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
8256 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
8306 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9091 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
9152 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
9158 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
9160 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
9237 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
9469 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
9813 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
9819 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
10358 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
10361 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
10364 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
10598 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
10606 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
10641 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
10642 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
11100 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
11102 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
11103 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
11110 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
11143 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
11145 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
11146 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
11153 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
11369 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
11370 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
11377 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
11471 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
11472 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
11479 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
12107 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
12109 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
12145 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
12191 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
12247 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
14968 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
14970 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
14971 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
14978 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
15070 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
15072 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
15073 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
15080 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
16541 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
16542 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
16549 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2995
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3746
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:5953
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:10555
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:10778
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11479
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:18722
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3386
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:17914
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:16839
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3835
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6080
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1594
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13488
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:13046
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:6426
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:16707
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4239
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:15742
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12259
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2831
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5391
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:16350
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:6584
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:10721
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:5930
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15136
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:3936
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:14472
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4859
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16185
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6057
final int getNumber()
Definition: SatParameters.java:1193
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3876
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6201
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1457
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:18299
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:6633
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:17206
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5316
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:11347
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3952
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6174
Builder clearAddCgCuts()
Definition: SatParameters.java:15783
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:12000
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:15507
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:17969
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:5540
Builder clearCutCleanupTarget()
Definition: SatParameters.java:16460
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:6301
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:12191
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:13278
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15009
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:13802
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:6364
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:5817
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15070
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:17035
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3513
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1485
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1235
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:14584
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4948
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:18130
Builder clearMipVarScaling()
Definition: SatParameters.java:18955
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:5773
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:4793
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:5462
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3595
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2702
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3526
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:17701
Builder clearUseRinsLns()
Definition: SatParameters.java:18144
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4483
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3127
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:17757
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2777
Builder clearVariableActivityDecay()
Definition: SatParameters.java:11799
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:11063
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12059
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13175
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1082
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3709
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:3725
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1469
Builder clearUseLnsOnly()
Definition: SatParameters.java:18050
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4595
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11944
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:17773
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9109
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2514
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3210
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:5949
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4089
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2233
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1060
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:14516
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5004
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:18466
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:17885
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:16097
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:11657
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:17940
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4351
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:17560
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:18785
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:16593
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15093
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:2744
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:15520
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:6234
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:13948
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:14434
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:5769
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:18736
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:13360
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2717
final int getNumber()
Definition: SatParameters.java:1694
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14168
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4178
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11390
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5078
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4512
final int getNumber()
Definition: SatParameters.java:1854
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12659
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:16446
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:16336
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:16422
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:16027
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:4495
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:19201
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5323
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:12438
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:6283
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2688
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6588
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6130
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:15708
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15022
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:18480
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:17804
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:13743
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:11613
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6190
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1414
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:5505
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17022
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:6545
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:4479
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3179
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:9132
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1624
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:13933
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:5858
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:14194
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4554
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14118
STRATIFICATION_ASCENT
Definition: SatParameters.java:2073
final int getNumber()
Definition: SatParameters.java:2325
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1737
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:6457
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11926
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:13815
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3368
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:12877
Builder clearRestartPeriod()
Definition: SatParameters.java:12383
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:17847
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5354
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:16735
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:15035
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:14305
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:16434
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:5418
final int getNumber()
Definition: SatParameters.java:2106
Builder clearRestartAlgorithms()
Definition: SatParameters.java:12240
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:19101
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:5724
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12510
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16387
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:13998
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11166
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3276
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:12960
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:16226
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:16519
.lang.Override Builder clear()
Definition: SatParameters.java:9179
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2721
Builder clearLogSearchProgress()
Definition: SatParameters.java:13386
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:17514
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:13860
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:17298
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2878
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2498
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:18313
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16151
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11812
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:18330
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3303
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4085
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3820
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:11681
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11123
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:18427
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5899
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:15429
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12278
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18079
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3131
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14615
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2483
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11957
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3969
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:13984
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:17871
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:13684
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1704
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3085
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:17100
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15350
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:18813
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4560
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:16287
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:5635
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5980
Builder clearUseOptimizationHints()
Definition: SatParameters.java:14775
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:13063
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4280
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5231
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9084
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16202
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4871
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10619
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1481
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:13131
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:6351
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:3757
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:14691
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12077
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:9069
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9052
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:9157
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:15827
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:6475
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:11743
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15251
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:17667
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:17137
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3911
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2019
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2760
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:11873
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4719
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:10084
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:18659
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:18545
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:18024
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:12555
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1449
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:14968
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:10894
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:17572
CLAUSE_ACTIVITY
Definition: SatParameters.java:1665
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:11761
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:14991
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12612
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1086
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5035
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1090
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:14293
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3880
PROTECTION_LBD
Definition: SatParameters.java:1547
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4456
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:12996
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:6320
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:19083
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16531
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4025
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:18185
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12252
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:6525
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3010
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:6549
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5157
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14340
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1983
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:11533
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2937
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:5895
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6217
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2150
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2357
PORTFOLIO_SEARCH
Definition: SatParameters.java:2213
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3659
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4723
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:14568
final int getNumber()
Definition: SatParameters.java:1965
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:4452
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18071
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3112
Builder clearCoverOptimization()
Definition: SatParameters.java:14948
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12620
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:5569
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2613
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2479
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:17184
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:18173
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:15585
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1741
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:16135
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:9468
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5235
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1872
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1896
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:16366
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:14874
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:5941
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5265
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:10703
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6159
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2518
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11934
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1586
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:18610
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5074
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:12482
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3467
.lang.Override int hashCode()
Definition: SatParameters.java:8375
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:16751
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:11013
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1900
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3610
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3332
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:5445
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2956
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:12905
final int getNumber()
Definition: SatParameters.java:1312
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:15661
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11186
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3054
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:14552
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:5756
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3666
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17009
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5976
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4276
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:14458
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:19065
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4336
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:13154
AUTOMATIC_SEARCH
Definition: SatParameters.java:2195
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:16067
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:18530
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2369
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:5991
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11828
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:10845
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15326
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:5433
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:17617
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:15905
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:16688
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18089
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3238
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2545
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:6471
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1410
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:9091
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3412
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:12456
.lang.Override Builder clone()
Definition: SatParameters.java:10074
static Builder newBuilder()
Definition: SatParameters.java:9119
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1805
.lang.Override Builder toBuilder()
Definition: SatParameters.java:9126
Builder clearMipCheckPrecision()
Definition: SatParameters.java:19188
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:9151
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:17085
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11820
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:10908
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4009
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4626
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:4915
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2808
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2663
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4572
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:6440
Definition: SatParameters.java:2045
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:4778
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11201
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:13582
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3857
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3577
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4021
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:16656
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:16322
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:14661
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:12724
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11367
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2146
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:15555
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1243
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:9103
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4149
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:10875
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:14503
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:17240
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:18799
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1367
Builder clearRandomSeed()
Definition: SatParameters.java:13331
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:12758
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5146
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:19171
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15062
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:14816
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15409
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:17630
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:18036
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:18703
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:12216
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:19000
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:5476
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:18848
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:5598
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2952
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:6488
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:12710
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:6382
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:15369
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12051
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:9487
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3159
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1620
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:19231
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1330
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:6623
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2412
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:4467
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:18624
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:12569
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:12784
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5008
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11048
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10639
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11838
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3081
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1616
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:19156
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6091
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2009
FIXED_RESTART
Definition: SatParameters.java:1813
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:12799
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3073
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:6566
Builder clearMaxNumCuts()
Definition: SatParameters.java:15602
CLAUSE_LBD
Definition: SatParameters.java:1673
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2160
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:9478
int getRestartAlgorithmsCount()
Definition: SatParameters.java:12126
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:9047
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16549
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14623
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:16047
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:10685
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:11319
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:12165
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4145
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16539
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:17449
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:14920
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:18161
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4307
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3998
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:13872
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6045
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:18447
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:13828
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5107
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:12858
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2005
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1721
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:14012
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:17315
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:17050
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2461
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5242
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:16887
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10560
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5186
Builder clearExpandElementConstraints()
Definition: SatParameters.java:14417
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:5602
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:13622
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2116
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:14907
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3343
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:14264
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:14281
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:16641
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:5536
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5934
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:19141
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2838
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4665
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:17281
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6061
.lang.Override int getRandomSeed()
Definition: SatParameters.java:3742
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1733
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:12977
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:12943
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:19195
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12295
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:16114
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2675
.lang.Override int getRandomSeed()
Definition: SatParameters.java:13295
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12309
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:11421
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5056
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:3655
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11359
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:129
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3560
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15307
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:16478
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:14057
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:10831
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:4822
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4228
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:15924
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:13436
Builder clearNumSearchWorkers()
Definition: SatParameters.java:17720
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11469
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11973
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15176
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1096
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:11274
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5806
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:13918
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:13240
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6118
Builder clearFindMultipleCores()
Definition: SatParameters.java:14889
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:13697
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4645
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:15444
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6506
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:5631
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4367
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1157
IN_ORDER
Definition: SatParameters.java:1013
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:5833
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:6444
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15290
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:18287
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:6269
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3981
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:136
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11576
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:14960
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:15991
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4888
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:12145
Builder clearMipWantedPrecision()
Definition: SatParameters.java:19042
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3028
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:10994
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:15535
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:16562
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1630
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2419
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11135
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2732
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15388
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13473
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:10106
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4216
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:5709
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12667
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:16961
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1712
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:11216
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5039
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:4524
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:6333
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6018
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4585
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10606
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:14490
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3307
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4404
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4702
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4608
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2124
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3893
Builder clearStopAfterPresolve()
Definition: SatParameters.java:17645
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:17152
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:5705
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:2867
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4797
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:17548
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13183
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6163
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5200
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12526
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:14933
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:14402
Builder clearUseBlockingRestart()
Definition: SatParameters.java:12599
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4541
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:10089
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3002
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1149
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:16009
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:13769
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3484
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:17259
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:17334
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:10960
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6186
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5787
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:13563
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:16975
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1341
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13193
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2596
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12677
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14641
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11983
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3678
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:14226
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5254
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3437
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:18560
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:13212
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4826
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3336
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:17981
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5277
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4071
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:13784
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:6602
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1910
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4201
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:17355
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:15117
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:13650
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2796
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:12817
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:12342
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3263
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6034
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:16606
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:12424
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11710
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:18342
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:17820
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4232
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:4855
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11965
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5173
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3280
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12518
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2335
final int getNumber()
Definition: SatParameters.java:1042
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:12843
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14181
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:18354
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:12740
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:10812
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1052
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5204
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3014
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:15459
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:14758
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2855
Builder clearRandomizeSearch()
Definition: SatParameters.java:18368
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:18925
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16259
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:16671
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5111
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3043
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4378
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:15768
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:12012
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:11635
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3923
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:4437
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:14389
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2886
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5250
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11568
Builder clearUseOptionalVariables()
Definition: SatParameters.java:18510
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3509
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:10762
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:17484
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:16167
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5306
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:17741
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:15273
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:12400
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:15875
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:16721
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:12891
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1884
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:11521
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10078
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:15724
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4263
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:4990
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14358
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:12469
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:6409
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12628
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:15801
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11092
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:4508
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:14792
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10100
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2576
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11143
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:17812
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10649
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3119
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4760
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:4944
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:13544
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14332
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:17926
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:5829
Builder clearUsePhaseSaving()
Definition: SatParameters.java:10741
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:5509
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:5480
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:7641
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4161
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:12024
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3319
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:15694
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1495
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11702
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:6502
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:3907
Builder clearExpandTableConstraints()
Definition: SatParameters.java:14531
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2013
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:14848
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15215
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5341
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16405
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3251
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6068
Builder clearUsePbResolution()
Definition: SatParameters.java:13453
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6003
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:3802
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16395
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:5583
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3047
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:17902
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:9058
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:5688
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2646
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:17531
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2871
Builder clearOptimizeWithCore()
Definition: SatParameters.java:17117
Builder clearUseExactLpReason()
Definition: SatParameters.java:18577
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6213
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4205
Builder clearMipMaxBound()
Definition: SatParameters.java:18892
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4039
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1223
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5126
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2154
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:13016
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:5492
final int getNumber()
Definition: SatParameters.java:1576
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:2991
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:5672
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2631
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1361
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:13031
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:19020
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:14376
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:15232
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:16504
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:19221
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:19236
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:15952
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:12921
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4419
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:10859
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1604
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3393
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4247
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10588
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:18230
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6076
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:11408
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2580
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:10977
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3401
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4901
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3965
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3705
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:6617
Builder clearHintConflictLimit()
Definition: SatParameters.java:16621
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3096
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10662
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2373
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3405
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2669
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:14446
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:13110
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3773
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2783
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:10094
PROTECTION_ALWAYS
Definition: SatParameters.java:1539
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:15889
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1353
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:14708
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:17586
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:17957
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4682
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:15633
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:17423
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5802
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:3634
Builder clearAddMirCuts()
Definition: SatParameters.java:15842
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:13965
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:5651
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:14250
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2406
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:4840
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:17223
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:11332
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:18106
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4130
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3203
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4919
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4809
Builder clearUseImpliedBounds()
Definition: SatParameters.java:18829
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3455
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10596
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:2973
HINT_SEARCH
Definition: SatParameters.java:2253
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:13636
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5310
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:17830
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16214
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:5387
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2682
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:13372
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:18199
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:13725
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:10922
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:5616
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:15814
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:11905
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1322
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:14209
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4189
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:16768
Builder clearMinimizeCore()
Definition: SatParameters.java:14830
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1864
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:12536
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3424
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:10938
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14103
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11492
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5329
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5422
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3199
Builder clearUseRelaxationLns()
Definition: SatParameters.java:18258
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:13348
Builder clearExploitObjective()
Definition: SatParameters.java:16928
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:15646
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:12320
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:15050
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:4537
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2134
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5169
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:16869
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:11306
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3806
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1993
Builder clearInterleaveSearch()
Definition: SatParameters.java:17791
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4054
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3062
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:13843
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:6395
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:17684
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:12771
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:13710
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3940
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:14133
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:18687
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11110
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6256
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3451
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3382
STRATIFICATION_DESCENT
Definition: SatParameters.java:2062
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2944
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6007
final int getNumber()
Definition: SatParameters.java:1439
Builder setMipVarScaling(double value)
Definition: SatParameters.java:18939
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:18243
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:15620
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:17167
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3496
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2531
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4977
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4884
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6413
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2844
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5281
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10631
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:12497
Builder clearCatchSigintSignal()
Definition: SatParameters.java:18766
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:15570
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:12107
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11586
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1406
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:14150
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1239
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1203
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3691
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:18673
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:16379
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2933
.lang.Override int getSerializedSize()
Definition: SatParameters.java:7062
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:18409
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:18217
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:11233
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4303
Builder clearUseBranchingInLp()
Definition: SatParameters.java:18640
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:13884
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:12651
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5964
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:19241
Builder clearCpModelPresolve()
Definition: SatParameters.java:14083
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:9122
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:15680
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2243
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:4973
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:5668
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:11250
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2656
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11080
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4251
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1797
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:990
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16303
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5744
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:14978
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1489
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4100
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:11288
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:17499
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:14743
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:13666
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5092
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:19121
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3540
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2343
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:14631
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6134
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:18911
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:11153
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:14728
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:12067
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3420
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:12830
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:17371
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4319
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:17859
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1747
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1904
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4332
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3614
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:6287
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2425
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:5522
Builder clearLinearizationLevel()
Definition: SatParameters.java:15476
Builder setMipMaxBound(double value)
Definition: SatParameters.java:18876
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2911
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:14045
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:5740
static Polarity forNumber(int value)
Definition: SatParameters.java:1211
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:10794
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:3787
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:2821
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5142
STRATIFICATION_NONE
Definition: SatParameters.java:2053
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3480
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:17464
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:18063
PROTECTION_NONE
Definition: SatParameters.java:1531
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:15755
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:17995
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5217
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:11434
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5358
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:5862
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4602
Builder setRestartPeriod(int value)
Definition: SatParameters.java:12368
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:14319
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:12412
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4649
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:11779
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:15968
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4291
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:14069
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:11858
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:12355
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:2773
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:11560
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:11033
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:6378
Builder setRandomSeed(int value)
Definition: SatParameters.java:13312
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:6316
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:17604
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:3769
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3291
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4686
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4058
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:13256
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3218
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4390
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:984
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3544
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:15155
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:13406
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:15861
Definition: SatParameters.java:1275
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:6347
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2444
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5021
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5565
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3066
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:16900
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2377
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:11547
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:16792
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:14602
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:13089
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11694
FIXED_SEARCH
Definition: SatParameters.java:2205
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:18118
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2890
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:16273
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1249
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5293
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:13421
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:17070
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:16853
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:16491
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:5404
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6146
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4423
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:6252
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4764
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2383
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3108
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:19216
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:13503
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:16947
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1975
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:18596
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3355
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:15494
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2562
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:18494
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:3994
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3839
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4547
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:3674
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6107
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:5372
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2650
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9096
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5552
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4174
LUBY_RESTART
Definition: SatParameters.java:1789
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:16991
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:9118
Builder clearPresolveUseBva()
Definition: SatParameters.java:13898
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1070
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:12696
LP_SEARCH
Definition: SatParameters.java:2223
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4386
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:18750
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6103
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2438
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:13226
Builder clearExploitBestSolution()
Definition: SatParameters.java:16806
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6030
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:5914
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:4960
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4371
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11918
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2825
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:16913
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:14861
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:5845
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:18275
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:11461
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:18391
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3581
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:13756
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4116
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:15938
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3351
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:9473
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1357
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:4931
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:16082
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:12638
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:5878
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:18012
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:9079
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:13520
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:14676
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4112
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:13167
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:11100
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9063
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:10115
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9073
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4741
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:16240
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:11262
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:11509
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:15198
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11720
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:17405
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2790
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:11449
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:17387
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:12583
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:14348
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:17436
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:14238
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:14028
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:14804
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:16780
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2617
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4589
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:11377
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2549
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:13603
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:11888
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:16825
Builder clearClauseActivityDecay()
Definition: SatParameters.java:12038
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2748
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5449
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:18980
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2431
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:18862
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:15080
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:16580