Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
172 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
184 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
196 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
273 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
350 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
367 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
399 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
416 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
428 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
446 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
559 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
971 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1060 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1066 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1068 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1457 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1585 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2109 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2250 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2723 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2725 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2742 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2744 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
3002 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
3004 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3005 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3021 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3023 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3024 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3129 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3131 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3132 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3177 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3179 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3180 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3473 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3478 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3479 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3498 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3500 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4959 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
4961 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4962 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5007 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5009 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5010 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5788 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5790 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5791 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6711 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6713 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6714 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
7956 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
8430 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
8443 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
8482 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
8487 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8577 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8622 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8642 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
8662 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
8693 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
8698 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
8755 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
8784 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
8793 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
8798 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
8803 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
8808 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
8878 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
8965 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
8990 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
8995 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
9005 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
9035 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9089 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9141 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
9941 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
10002 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10008 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
10010 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
10091 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
10343 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10703 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
10709 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11294 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
11297 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
11300 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
11672 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
11680 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
11715 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
11716 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
12245 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
12247 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
12248 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
12255 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
12288 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
12290 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
12291 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
12298 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
12514 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
12515 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
12522 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
12616 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
12617 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
12624 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
13252 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
13254 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
13290 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
13336 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
13392 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
16247 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
16249 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
16250 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
16257 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
16349 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
16351 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
16352 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
16359 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
17942 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
17943 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
17950 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
19823 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
19824 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3334
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4085
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6517
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:11515
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:11923
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12624
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:20367
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3725
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:19516
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:18303
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4174
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6644
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1669
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14633
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:14191
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:7009
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:18171
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4578
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:17021
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13404
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3170
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5887
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:17751
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7237
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:11801
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:18053
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6494
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16415
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4275
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:15617
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5264
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17586
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6621
final int getNumber()
Definition: SatParameters.java:1268
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4215
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6784
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1532
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:19944
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7284
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:18729
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5781
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:12492
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4291
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:20509
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6757
Builder clearAddCgCuts()
Definition: SatParameters.java:17062
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:13145
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:16786
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:19571
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6065
Builder clearCutCleanupTarget()
Definition: SatParameters.java:17861
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:6884
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13336
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:14423
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16288
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:14947
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:6947
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6381
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16349
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:18558
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3852
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1560
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1310
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:15788
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5353
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:19732
Builder clearMipVarScaling()
Definition: SatParameters.java:20667
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6337
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5198
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:5958
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3934
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3041
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3865
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:19303
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2618
Builder clearUseRinsLns()
Definition: SatParameters.java:19746
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4888
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5394
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3466
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:19359
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3116
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5407
Builder clearVariableActivityDecay()
Definition: SatParameters.java:12944
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:12208
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13204
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14320
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1157
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4048
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:18473
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4064
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1544
Builder clearUseLnsOnly()
Definition: SatParameters.java:19652
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5000
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13089
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:19375
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9959
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2853
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3549
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6513
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4428
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2308
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1135
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:15661
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5469
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:20111
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:19487
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:11886
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:17498
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:12802
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:19542
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4719
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:19162
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:20430
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:17992
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16372
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3083
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:16799
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:6817
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:15093
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:15579
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2647
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6333
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:20381
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:14505
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3056
final int getNumber()
Definition: SatParameters.java:1769
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15313
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4517
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:18936
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12535
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5543
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:15951
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4917
final int getNumber()
Definition: SatParameters.java:1929
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13804
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:17847
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:17737
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:17823
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:17428
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:4900
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:20984
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5788
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:13583
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:6866
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3027
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7241
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6694
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:16987
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16301
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:20125
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19406
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14888
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12758
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6773
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1489
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:17180
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:6001
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18545
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7198
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:4884
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3518
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:9982
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1699
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:15078
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6422
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:15339
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4959
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15263
STRATIFICATION_ASCENT
Definition: SatParameters.java:2148
final int getNumber()
Definition: SatParameters.java:2400
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1812
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7073
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13071
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:14960
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3707
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:14022
Builder clearRestartPeriod()
Definition: SatParameters.java:13528
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:19449
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2579
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5817
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:18199
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:16314
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:15450
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:17835
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:5914
final int getNumber()
Definition: SatParameters.java:2181
Builder clearRestartAlgorithms()
Definition: SatParameters.java:13385
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:20888
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6288
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13655
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17788
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:15143
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12311
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3615
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:14105
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:17627
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:17920
.lang.Override Builder clear()
Definition: SatParameters.java:10029
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3060
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7041
Builder clearLogSearchProgress()
Definition: SatParameters.java:14531
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:19116
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:15005
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:18821
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3217
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2837
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:19958
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17552
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12957
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:19975
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3642
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6711
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4424
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4159
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12826
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12268
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20738
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:20072
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6463
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:16708
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13423
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19681
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3470
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15819
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2822
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13102
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4308
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:15129
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:19473
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:14829
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1779
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3424
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:18623
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:4791
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16629
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:20458
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5382
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4965
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:17688
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6160
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:17165
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6544
Builder clearUseOptimizationHints()
Definition: SatParameters.java:16054
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19821
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:14208
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4619
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5696
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9934
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2697
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17603
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5276
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11693
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2804
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1556
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:14276
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:6934
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6698
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4096
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:15895
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:6061
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13222
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:9919
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9902
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10007
Builder clearName()
Definition: SatParameters.java:11630
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:17106
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7091
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:12888
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16530
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:19269
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:18660
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4250
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4700
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2094
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3099
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:13018
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5124
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:11006
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:18038
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:20304
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:20190
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:19626
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:13700
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1524
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16247
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:12039
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:19174
CLAUSE_ACTIVITY
Definition: SatParameters.java:1740
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:12906
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16270
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13757
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1161
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5500
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1165
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:15438
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4219
PROTECTION_LBD
Definition: SatParameters.java:1622
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4861
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:14141
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:6903
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:20870
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17932
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4364
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:19787
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13397
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7177
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3349
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7202
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5622
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15485
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2058
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:12678
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3276
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6459
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6800
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2225
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2432
PORTFOLIO_SEARCH
Definition: SatParameters.java:2288
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3998
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:15968
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5128
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15772
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:11589
final int getNumber()
Definition: SatParameters.java:2040
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:4857
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19673
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3451
Builder clearCoverOptimization()
Definition: SatParameters.java:16227
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13765
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6094
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2952
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2787
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:18707
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:19775
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:16864
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1816
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17536
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:10342
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5700
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1947
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1971
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:17767
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:16153
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6505
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5730
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:11781
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6234
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6742
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2857
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13079
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1661
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:20255
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5539
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:13627
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3806
.lang.Override int hashCode()
Definition: SatParameters.java:9168
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:18215
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:12158
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1975
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3949
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3671
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:5941
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3295
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:14050
final int getNumber()
Definition: SatParameters.java:1387
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16940
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12331
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3393
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15756
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6320
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4005
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18532
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6540
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4615
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:15603
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:20852
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4704
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:14299
AUTOMATIC_SEARCH
Definition: SatParameters.java:2270
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:17468
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:20175
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2444
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6555
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12973
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:11990
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16605
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:5929
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:19219
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:17306
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:18152
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:15694
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19691
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3577
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2884
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7087
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1485
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:9941
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3751
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:13601
.lang.Override Builder clone()
Definition: SatParameters.java:10996
static Builder newBuilder()
Definition: SatParameters.java:9969
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1880
.lang.Override Builder toBuilder()
Definition: SatParameters.java:9976
Builder clearMipCheckPrecision()
Definition: SatParameters.java:20971
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:10001
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:18608
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12965
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:12053
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4348
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5031
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5320
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3147
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20688
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3002
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4977
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:7023
Definition: SatParameters.java:2120
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5183
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12346
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:14727
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4196
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3916
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4360
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:18120
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:17723
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4807
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:15865
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:13869
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12512
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2221
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:20720
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:16834
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1318
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:9953
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4488
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:12020
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:15648
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:18763
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:20444
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1442
Builder clearRandomSeed()
Definition: SatParameters.java:14476
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13903
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5611
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:20955
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16341
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:16095
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16688
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:19232
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:19638
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:20348
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:13361
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:20785
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:5972
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:20560
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6123
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3291
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7104
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13855
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:6965
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16648
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13196
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:10361
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3498
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:15735
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6704
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1695
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:21014
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1405
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7274
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2716
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:4872
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:20269
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2610
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:13714
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:13929
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5473
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12193
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11713
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12983
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3420
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1691
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:20941
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5411
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6655
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2084
FIXED_RESTART
Definition: SatParameters.java:1888
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13944
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3412
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7219
Builder clearMaxNumCuts()
Definition: SatParameters.java:16881
CLAUSE_LBD
Definition: SatParameters.java:1748
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2235
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:10352
int getRestartAlgorithmsCount()
Definition: SatParameters.java:13271
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:9897
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17950
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15827
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:17448
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:11761
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:12464
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13310
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4484
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17940
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:19051
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:16199
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:19763
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4646
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4337
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:15017
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6609
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2791
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:20092
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:14973
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5572
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:14003
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2080
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1796
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:15157
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:18838
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18573
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2767
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5707
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:18351
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:11520
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5651
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:11646
Builder clearExpandElementConstraints()
Definition: SatParameters.java:15562
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6127
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:14767
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2191
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:16186
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3682
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:15409
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:15426
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20704
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:18105
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6032
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6498
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:20927
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3177
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4687
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5070
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:18804
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6625
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4081
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1808
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:14122
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:14088
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:20978
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13440
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:17515
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3014
.lang.Override int getRandomSeed()
Definition: SatParameters.java:14440
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13454
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:12566
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5521
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:3994
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12504
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:136
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7122
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3899
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16586
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:17879
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:15202
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:11976
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5227
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4567
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:17325
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:14581
Builder clearNumSearchWorkers()
Definition: SatParameters.java:19322
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12614
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13118
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16455
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1171
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:12419
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6370
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:15063
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:14385
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6682
Builder clearFindMultipleCores()
Definition: SatParameters.java:16168
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:14842
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5050
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:16723
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7157
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6156
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4735
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1232
IN_ORDER
Definition: SatParameters.java:1088
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6397
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7060
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5438
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16569
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:19932
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:6852
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4320
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:143
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12721
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16239
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:17392
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5293
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:13290
Builder clearAddCliqueCuts()
Definition: SatParameters.java:17243
Builder clearMipWantedPrecision()
Definition: SatParameters.java:20829
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3367
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:12139
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:16814
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17963
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1705
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2723
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12280
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3071
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16667
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14618
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:11028
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4555
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6273
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13812
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:18425
Builder clearRepairHint()
Definition: SatParameters.java:18085
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1787
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:12361
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7153
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5504
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:4929
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:6916
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6582
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4990
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11680
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:15635
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3646
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4772
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5107
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5013
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2199
LOCK_BASED
Definition: SatParameters.java:2502
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4232
Builder clearStopAfterPresolve()
Definition: SatParameters.java:19247
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:18675
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6230
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3206
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5202
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:19150
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:17213
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14328
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6746
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5665
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13671
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2818
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2598
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:16212
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:15547
Builder clearUseBlockingRestart()
Definition: SatParameters.java:13744
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4946
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:11011
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3341
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1224
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:17410
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:14914
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3823
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:18782
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:18857
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:12105
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6769
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6351
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19813
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14708
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:18439
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1416
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14338
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2935
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13822
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15845
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13128
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4017
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:15371
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:15987
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5719
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3776
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:20205
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:14357
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5231
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3675
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:19583
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5742
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4410
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14929
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7254
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1985
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4540
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:18957
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16396
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:14795
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3135
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:13962
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:13487
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3602
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6598
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:18004
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:13569
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12855
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:19987
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19422
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4571
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5260
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13110
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5638
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3619
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13663
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2410
final int getNumber()
Definition: SatParameters.java:1117
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:13988
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15326
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:19999
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13885
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:11957
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1127
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5669
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:15720
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3353
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:16738
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4675
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:16037
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3194
Builder clearRandomizeSearch()
Definition: SatParameters.java:20013
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:20637
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17660
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:18135
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5576
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3382
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4746
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:17047
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:13157
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12780
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4262
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:4842
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:15534
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3225
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5715
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12713
Builder clearUseOptionalVariables()
Definition: SatParameters.java:20155
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3848
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:5821
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:11907
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19086
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:17568
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5771
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:19343
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16552
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:13545
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:17276
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:18185
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:14036
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1959
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:12666
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11000
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:17003
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4602
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5455
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15503
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:13614
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:6992
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13773
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:17080
NEAREST_INTEGER
Definition: SatParameters.java:2492
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12237
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:4913
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:16071
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:11022
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2915
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19844
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12288
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19414
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11723
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3458
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5165
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5349
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14689
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2587
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15477
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:19528
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6393
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2624
Builder clearUsePhaseSaving()
Definition: SatParameters.java:11823
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6005
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:5976
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:8375
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7027
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4500
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:13169
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3658
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:16973
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1570
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12847
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7118
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4246
Builder clearExpandTableConstraints()
Definition: SatParameters.java:15676
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:17139
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2088
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:16127
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16494
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5805
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17806
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3590
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6632
Builder clearUsePbResolution()
Definition: SatParameters.java:14598
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6567
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4141
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17796
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6108
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3386
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:19504
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:9908
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6213
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2985
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19133
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:18880
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3210
Builder clearOptimizeWithCore()
Definition: SatParameters.java:18640
Builder clearUseExactLpReason()
Definition: SatParameters.java:20222
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6796
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4544
Builder clearMipMaxBound()
Definition: SatParameters.java:20604
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4378
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:11870
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1298
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2672
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5591
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2229
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:14161
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:5988
final int getNumber()
Definition: SatParameters.java:1651
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3330
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6197
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2970
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1436
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:14176
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:20806
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:15521
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:11856
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16511
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:17905
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:21004
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:21019
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:6048
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:17353
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:14066
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4787
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:12004
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1679
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3732
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4586
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11662
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:19875
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6640
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:12553
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2919
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:12122
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3740
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5306
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4304
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4044
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7268
Builder clearHintConflictLimit()
Definition: SatParameters.java:18018
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3435
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11736
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2448
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3744
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3008
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:15591
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:14255
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4112
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3122
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:11016
PROTECTION_ALWAYS
Definition: SatParameters.java:1614
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:17290
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1428
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:15912
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:5850
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:19188
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:19559
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5087
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16912
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:19025
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6366
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:3973
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:17227
Builder clearAddMirCuts()
Definition: SatParameters.java:17121
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:15110
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6176
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:15395
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2710
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5245
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:18746
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:12477
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:19708
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4469
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3542
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5324
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5214
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19831
Builder clearUseImpliedBounds()
Definition: SatParameters.java:20474
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3794
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11670
Builder setRepairHint(boolean value)
Definition: SatParameters.java:18068
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3312
HINT_SEARCH
Definition: SatParameters.java:2328
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:14781
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5775
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19432
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17615
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:5883
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3021
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:14517
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:19801
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:14870
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:12067
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6141
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:17093
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:13050
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1397
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15354
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4528
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:18232
Builder clearMinimizeCore()
Definition: SatParameters.java:16109
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1939
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13681
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3763
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:12083
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15248
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12637
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5794
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5918
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3538
Builder clearUseRelaxationLns()
Definition: SatParameters.java:19903
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:14493
Builder clearExploitObjective()
Definition: SatParameters.java:18392
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:20524
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:16925
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13465
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16329
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:4942
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2209
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5634
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:18333
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:12451
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4145
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2068
Builder clearInterleaveSearch()
Definition: SatParameters.java:19393
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4393
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3401
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:14988
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:6978
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:19286
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13916
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:14855
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4279
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:18486
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:15278
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:20332
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12255
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6839
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3790
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3721
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:20494
STRATIFICATION_DESCENT
Definition: SatParameters.java:2137
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3283
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6571
final int getNumber()
Definition: SatParameters.java:1514
Builder setMipVarScaling(double value)
Definition: SatParameters.java:20651
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:19888
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16899
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:18690
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3835
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2870
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5442
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5289
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6996
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3183
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7137
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5746
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11705
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:13642
Builder clearCatchSigintSignal()
Definition: SatParameters.java:20411
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:18916
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:16849
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:13252
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12731
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1481
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4824
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15295
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1314
.lang.Override boolean hasName()
Definition: SatParameters.java:2659
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1278
final int getNumber()
Definition: SatParameters.java:2569
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4030
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:20318
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17780
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:18898
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3272
.lang.Override int getSerializedSize()
Definition: SatParameters.java:7749
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:20054
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6036
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:19862
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12378
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4642
Builder clearUseBranchingInLp()
Definition: SatParameters.java:20285
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:15934
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:15029
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13796
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6528
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:21024
Builder clearCpModelPresolve()
Definition: SatParameters.java:15228
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:9972
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:16959
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2318
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5378
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6193
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:12395
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2995
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12225
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:5835
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4590
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1872
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1065
Builder clearPolishLpSolution()
Definition: SatParameters.java:20541
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17704
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6308
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16257
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1564
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4439
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:12433
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19101
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:16022
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:14811
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5557
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:20908
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3879
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2418
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15835
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6717
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:20623
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12298
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:16007
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13212
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3759
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:13975
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:18973
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4658
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:19461
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1822
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1979
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4671
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3953
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:6870
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2729
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6018
Builder clearLinearizationLevel()
Definition: SatParameters.java:16755
Builder setMipMaxBound(double value)
Definition: SatParameters.java:20588
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3250
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:15190
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6304
static Polarity forNumber(int value)
Definition: SatParameters.java:1286
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:11939
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4126
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3160
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5607
STRATIFICATION_NONE
Definition: SatParameters.java:2128
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3819
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:19066
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19665
PROTECTION_NONE
Definition: SatParameters.java:1606
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:17034
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:19597
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5682
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:12579
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5854
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6426
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5007
Builder setRestartPeriod(int value)
Definition: SatParameters.java:13513
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:15464
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:13557
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5054
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:12924
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:17369
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4630
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:15214
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:13003
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:13500
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3112
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12705
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12178
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:6961
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2614
Builder setRandomSeed(int value)
Definition: SatParameters.java:14457
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:6899
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:19206
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4108
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3630
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5091
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4397
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:14401
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3557
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4758
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1059
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3883
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:15707
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:16434
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:14551
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:17262
Definition: SatParameters.java:1350
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:6930
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2748
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5486
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6090
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3405
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:18364
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2452
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:12692
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:18256
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6251
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15806
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:14234
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12839
FIXED_SEARCH
Definition: SatParameters.java:2280
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:19720
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3229
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17674
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1324
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5758
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:14566
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:18593
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:18317
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:17892
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:5900
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6729
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4828
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:6835
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5169
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2458
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3447
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:20999
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:14648
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:18411
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6269
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2050
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:20241
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3694
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:16773
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2901
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5424
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:20139
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4333
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4178
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4952
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4013
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6671
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:5868
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2989
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9946
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6077
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4513
LUBY_RESTART
Definition: SatParameters.java:1864
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:18455
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:9968
Builder clearPresolveUseBva()
Definition: SatParameters.java:15043
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1145
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13841
LP_SEARCH
Definition: SatParameters.java:2298
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4754
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:20395
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6667
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2742
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:14371
Builder clearExploitBestSolution()
Definition: SatParameters.java:18270
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6594
Builder setUseProbingSearch(boolean value)
Definition: SatParameters.java:18499
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6478
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5365
Builder clearUseProbingSearch()
Definition: SatParameters.java:18514
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4739
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13063
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3164
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:18377
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:16140
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6409
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:19920
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12606
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:20036
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7056
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3920
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14901
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4455
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:17339
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3690
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:10347
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1432
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5336
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:17483
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13783
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6442
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:19614
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:9929
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14665
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2511
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:15880
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4451
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14312
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12245
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9913
PROPAGATION_ASSISTED
Definition: SatParameters.java:2524
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:11037
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9923
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5146
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17641
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:12407
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:12654
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16477
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12865
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:19007
java.lang.String getName()
Definition: SatParameters.java:11565
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3129
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:12594
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:18989
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:13728
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15493
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:19038
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:15383
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:15173
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:16083
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:18244
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2956
boolean hasName()
Definition: SatParameters.java:11553
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4994
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12522
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2888
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14748
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:13033
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:18289
Builder clearClauseActivityDecay()
Definition: SatParameters.java:13183
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3087
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5945
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:20764
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:17199
Builder setName(java.lang.String value)
Definition: SatParameters.java:11611
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2735
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:17152
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:20574
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:11842
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16359
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:17980