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);
1055 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1061 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1063 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1452 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1580 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2104 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2245 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2718 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2720 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2737 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2739 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2997 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2999 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3000 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3016 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3018 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3019 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3124 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3126 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3127 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3172 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3174 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3175 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3468 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3473 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3474 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3493 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3495 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4954 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
4956 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4957 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5002 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5004 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5005 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5783 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
5785 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5786 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6677 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
6679 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
6680 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
7919 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
8389 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
8402 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
8441 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
8446 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
8536 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
8581 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
8601 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
8621 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
8652 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
8657 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
8714 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
8743 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
8752 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
8757 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
8762 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
8767 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
8837 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
8919 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
8944 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
8949 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
8959 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
8989 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9043 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9095 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
9890 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
9951 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
9957 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
9959 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
10040 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
10290 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10650 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
10656 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11237 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
11240 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
11243 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
11612 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
11620 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
11655 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
11656 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
12185 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
12187 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
12188 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
12195 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
12228 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
12230 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
12231 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
12238 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
12454 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
12455 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
12462 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
12556 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
12557 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
12564 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
13192 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
13194 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
13230 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
13276 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
13332 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
16187 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
16189 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
16190 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
16197 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
16289 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
16291 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
16292 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
16299 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
17882 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
17883 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
17890 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
19704 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
19705 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3329
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4080
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:6483
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:11455
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:11863
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12564
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:20248
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3720
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:19397
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:18243
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4169
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:6610
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1664
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14573
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:14131
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:6975
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:18111
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4573
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:16961
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13344
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3165
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5882
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:17691
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7203
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:11741
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:17993
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6460
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16355
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4270
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:15557
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5259
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17526
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:6587
final int getNumber()
Definition: SatParameters.java:1263
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4210
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:6750
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1527
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:19825
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7250
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:18610
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5776
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:12432
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4286
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:20390
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:6723
Builder clearAddCgCuts()
Definition: SatParameters.java:17002
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:13085
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:16726
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:19452
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6031
Builder clearCutCleanupTarget()
Definition: SatParameters.java:17801
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:6850
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13276
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:14363
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16228
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:14887
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:6913
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6347
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16289
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:18439
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3847
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1555
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1305
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:15728
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5348
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:19613
Builder clearMipVarScaling()
Definition: SatParameters.java:20548
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6303
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5193
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:5953
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3929
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3036
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3860
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:19184
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2613
Builder clearUseRinsLns()
Definition: SatParameters.java:19627
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4883
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5389
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3461
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:19240
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3111
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5402
Builder clearVariableActivityDecay()
Definition: SatParameters.java:12884
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:12148
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13144
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14260
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1152
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4043
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4059
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1539
Builder clearUseLnsOnly()
Definition: SatParameters.java:19533
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4995
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13029
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:19256
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9908
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2848
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3544
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6479
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4423
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2303
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1130
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:15601
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5464
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:19992
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:19368
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:11826
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:17438
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:12742
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:19423
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4714
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:19043
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:20311
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:17932
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16312
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3078
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:16739
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:6783
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:15033
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:15519
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2642
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6299
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:20262
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:14445
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3051
final int getNumber()
Definition: SatParameters.java:1764
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15253
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4512
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:18817
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12475
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5538
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:15891
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4912
final int getNumber()
Definition: SatParameters.java:1924
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13744
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:17787
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:17677
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:17763
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:17368
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:4895
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:20865
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5783
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:13523
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:6832
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3022
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7207
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:6660
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:16927
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16241
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:20006
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19287
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14828
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12698
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6739
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1484
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:17120
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:5996
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18426
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7164
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:4879
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3513
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:9931
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1694
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:15018
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6388
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:15279
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4954
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15203
STRATIFICATION_ASCENT
Definition: SatParameters.java:2143
final int getNumber()
Definition: SatParameters.java:2395
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1807
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7039
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13011
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:14900
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3702
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:13962
Builder clearRestartPeriod()
Definition: SatParameters.java:13468
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:19330
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2574
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:5812
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:18139
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:16254
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:15390
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:17775
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:5909
final int getNumber()
Definition: SatParameters.java:2176
Builder clearRestartAlgorithms()
Definition: SatParameters.java:13325
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:20769
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6254
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13595
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17728
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:15083
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12251
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3610
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:14045
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:17567
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:17860
.lang.Override Builder clear()
Definition: SatParameters.java:9978
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3055
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7007
Builder clearLogSearchProgress()
Definition: SatParameters.java:14471
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:18997
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:14945
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:18702
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3212
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2832
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:19839
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17492
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12897
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:19856
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3637
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6677
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4419
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4154
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12766
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12208
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20619
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:19953
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6429
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:16648
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13363
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19562
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3465
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15759
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2817
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13042
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4303
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:15069
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:19354
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:14769
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1774
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3419
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:18504
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:4786
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16569
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:20339
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5377
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4960
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:17628
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6126
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:17105
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6510
Builder clearUseOptimizationHints()
Definition: SatParameters.java:15994
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19702
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:14148
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4614
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:5691
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9883
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2692
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17543
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5271
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11633
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2799
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1551
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:14216
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:6900
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:6664
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4091
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:15835
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13162
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:9868
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9851
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:9956
Builder clearName()
Definition: SatParameters.java:11570
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:17046
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7057
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:12828
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16470
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:19150
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:18541
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4245
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4695
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2089
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3094
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:12958
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5119
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:10949
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:17978
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:20185
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:20071
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:19507
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:13640
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1519
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16187
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:11979
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:19055
CLAUSE_ACTIVITY
Definition: SatParameters.java:1735
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:12846
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16210
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13697
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1156
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5495
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1160
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:15378
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4214
PROTECTION_LBD
Definition: SatParameters.java:1617
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4856
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:14081
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:6869
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:20751
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17872
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4359
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:19668
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13337
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7143
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3344
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7168
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5617
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15425
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2053
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:12618
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3271
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6425
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:6766
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2220
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2427
PORTFOLIO_SEARCH
Definition: SatParameters.java:2283
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3993
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:15908
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5123
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15712
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:11529
final int getNumber()
Definition: SatParameters.java:2035
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:4852
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19554
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3446
Builder clearCoverOptimization()
Definition: SatParameters.java:16167
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13705
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6060
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:2947
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2782
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:18588
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:19656
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:16804
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1811
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:17476
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:10289
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:5695
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1942
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1966
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:17707
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:16093
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:6471
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:5725
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:11721
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6200
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:6708
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2852
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13019
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1656
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:20136
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5534
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:13567
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3801
.lang.Override int hashCode()
Definition: SatParameters.java:9122
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:18155
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:12098
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1970
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:3944
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3666
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:5936
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3290
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:13990
final int getNumber()
Definition: SatParameters.java:1382
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16880
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12271
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3388
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15696
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6286
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4000
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18413
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6506
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4610
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:15543
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:20733
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4699
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:14239
AUTOMATIC_SEARCH
Definition: SatParameters.java:2265
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:17408
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:20056
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2439
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:6521
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12913
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:11930
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16545
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:5924
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:19100
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:17246
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:18092
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:15634
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19572
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3572
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2879
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7053
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1480
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:9890
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3746
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:13541
.lang.Override Builder clone()
Definition: SatParameters.java:10939
static Builder newBuilder()
Definition: SatParameters.java:9918
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1875
.lang.Override Builder toBuilder()
Definition: SatParameters.java:9925
Builder clearMipCheckPrecision()
Definition: SatParameters.java:20852
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:9950
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:18489
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12905
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:11993
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4343
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5026
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5315
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3142
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20569
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2997
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4972
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:6989
Definition: SatParameters.java:2115
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5178
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12286
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:14667
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4191
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:3911
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4355
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:18060
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:17663
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4802
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:15805
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:13809
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12452
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2216
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:20601
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:16774
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1313
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:9902
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4483
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:11960
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:15588
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:18644
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:20325
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1437
Builder clearRandomSeed()
Definition: SatParameters.java:14416
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13843
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5606
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:20836
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16281
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:16035
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16628
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:19113
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:19519
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:20229
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:13301
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:20666
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:5967
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:20441
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6089
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3286
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7070
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13795
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:6931
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:16588
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13136
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:10308
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3493
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:15675
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:6670
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1690
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:20895
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1400
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7240
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2711
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:4867
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:20150
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2605
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:13654
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:13869
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5468
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12133
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11653
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:12923
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3415
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1686
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:20822
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5406
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:6621
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2079
FIXED_RESTART
Definition: SatParameters.java:1883
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13884
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3407
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7185
Builder clearMaxNumCuts()
Definition: SatParameters.java:16821
CLAUSE_LBD
Definition: SatParameters.java:1743
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2230
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:10299
int getRestartAlgorithmsCount()
Definition: SatParameters.java:13211
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:9846
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17890
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15767
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:17388
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:11701
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:12404
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:13250
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4479
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17880
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:18932
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:16139
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:19644
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4641
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4332
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:14957
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:6575
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2786
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:19973
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:14913
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:5567
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:13943
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2075
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1791
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:15097
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:18719
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:18454
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2762
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5702
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:18291
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:11460
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5646
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:11586
Builder clearExpandElementConstraints()
Definition: SatParameters.java:15502
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6093
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:14707
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2186
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:16126
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3677
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:15349
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:15366
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:20585
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:18045
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6027
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6464
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:20808
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3172
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4682
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5065
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:18685
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6591
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4076
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1803
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:14062
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:14028
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:20859
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13380
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:17455
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3009
.lang.Override int getRandomSeed()
Definition: SatParameters.java:14380
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13394
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:12506
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5516
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:3989
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12444
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:136
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7088
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3894
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16526
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:17819
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:15142
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:11916
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5222
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4562
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:17265
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:14521
Builder clearNumSearchWorkers()
Definition: SatParameters.java:19203
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12554
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13058
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16395
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1166
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:12359
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6336
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:15003
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:14325
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:6648
Builder clearFindMultipleCores()
Definition: SatParameters.java:16108
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:14782
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5045
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:16663
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7123
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6122
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4730
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1227
IN_ORDER
Definition: SatParameters.java:1083
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6363
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7026
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5433
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16509
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:19813
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:6818
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4315
.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:12661
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16179
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:17332
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5288
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:13230
Builder clearAddCliqueCuts()
Definition: SatParameters.java:17183
Builder clearMipWantedPrecision()
Definition: SatParameters.java:20710
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3362
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:12079
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:16754
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:17903
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1700
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2718
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12220
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3066
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16607
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14558
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:10971
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4550
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6239
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13752
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:18365
Builder clearRepairHint()
Definition: SatParameters.java:18025
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1782
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:12301
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7119
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5499
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:4924
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:6882
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:6548
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4985
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11620
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:15575
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3641
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4767
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5102
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5008
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2194
LOCK_BASED
Definition: SatParameters.java:2497
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4227
Builder clearStopAfterPresolve()
Definition: SatParameters.java:19128
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:18556
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6196
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3201
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5197
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:19031
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:17153
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14268
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:6712
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:5660
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13611
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2813
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2593
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:16152
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:15487
Builder clearUseBlockingRestart()
Definition: SatParameters.java:13684
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4941
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:10954
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3336
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1219
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:17350
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:14854
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3818
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:18663
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:18738
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:12045
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:6735
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6317
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19694
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14648
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:18379
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1411
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14278
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2930
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13762
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15785
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13068
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4012
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:15311
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:15927
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:5714
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3771
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:20086
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:14297
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5226
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3670
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:19464
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:5737
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4405
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14869
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7220
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1980
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4535
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:18838
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:16336
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:14735
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3130
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:13902
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:13427
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3597
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:6564
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:17944
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:13509
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12795
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:19868
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19303
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4566
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5255
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:13050
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:5633
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3614
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13603
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2405
final int getNumber()
Definition: SatParameters.java:1112
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:13928
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15266
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:19880
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13825
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:11897
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1122
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:5664
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:15660
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3348
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:16678
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4670
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:15977
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3189
Builder clearRandomizeSearch()
Definition: SatParameters.java:19894
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:20518
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17600
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:18075
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5571
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3377
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4741
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:16987
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:13097
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:12720
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4257
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:4837
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:15474
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3220
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:5710
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12653
Builder clearUseOptionalVariables()
Definition: SatParameters.java:20036
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3843
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:5816
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:11847
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18967
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:17508
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:5766
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:19224
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:16492
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:13485
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:17216
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:18125
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:13976
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1954
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:12606
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10943
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:16943
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4597
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5450
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15443
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:13554
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:6958
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13713
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:17020
NEAREST_INTEGER
Definition: SatParameters.java:2487
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12177
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:4908
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:16011
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:10965
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:2910
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19725
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12228
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19295
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11663
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3453
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5160
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5344
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14629
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2582
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15417
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:19409
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6359
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2619
Builder clearUsePhaseSaving()
Definition: SatParameters.java:11763
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6000
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:5971
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:8334
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6993
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4495
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:13109
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3653
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:16913
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1565
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12787
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7084
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4241
Builder clearExpandTableConstraints()
Definition: SatParameters.java:15616
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:17079
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2083
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:16067
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16434
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:5800
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17746
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3585
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6598
Builder clearUsePbResolution()
Definition: SatParameters.java:14538
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:6533
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4136
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17736
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6074
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3381
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:19385
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:9857
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6179
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2980
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:19014
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:18761
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3205
Builder clearOptimizeWithCore()
Definition: SatParameters.java:18521
Builder clearUseExactLpReason()
Definition: SatParameters.java:20103
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:6762
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4539
Builder clearMipMaxBound()
Definition: SatParameters.java:20485
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4373
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:11810
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1293
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2667
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5586
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2224
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:14101
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:5983
final int getNumber()
Definition: SatParameters.java:1646
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3325
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6163
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2965
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1431
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:14116
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:20687
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:15461
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:11796
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:16451
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:17845
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:20885
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:20900
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:17293
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:14006
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4782
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:11944
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1674
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3727
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4581
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11602
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:19756
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:6606
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:12493
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2914
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:12062
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3735
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5301
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4299
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4039
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7234
Builder clearHintConflictLimit()
Definition: SatParameters.java:17958
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3430
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11676
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2443
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3739
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3003
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:15531
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:14195
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4107
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3117
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:10959
PROTECTION_ALWAYS
Definition: SatParameters.java:1609
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:17230
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1423
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:15852
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:5845
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:19069
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:19440
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5082
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16852
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:18906
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6332
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:3968
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:17167
Builder clearAddMirCuts()
Definition: SatParameters.java:17061
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:15050
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6142
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:15335
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2705
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5240
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:18627
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:12417
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:19589
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4464
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3537
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5319
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5209
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:19712
Builder clearUseImpliedBounds()
Definition: SatParameters.java:20355
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3789
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:11610
Builder setRepairHint(boolean value)
Definition: SatParameters.java:18008
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3307
HINT_SEARCH
Definition: SatParameters.java:2323
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:14721
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:5770
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:19313
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17555
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:5878
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3016
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:14457
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:19682
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:14810
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:12007
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6107
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:17033
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:12990
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1392
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:15294
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4523
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:18172
Builder clearMinimizeCore()
Definition: SatParameters.java:16049
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1934
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:13621
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3758
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:12023
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15188
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12577
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5789
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5913
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3533
Builder clearUseRelaxationLns()
Definition: SatParameters.java:19784
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:14433
Builder clearExploitObjective()
Definition: SatParameters.java:18332
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:20405
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:16865
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:13405
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:16269
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:4937
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2204
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:5629
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:18273
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:12391
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4140
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2063
Builder clearInterleaveSearch()
Definition: SatParameters.java:19274
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4388
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3396
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:14928
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:6944
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:19167
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:13856
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:14795
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4274
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:15218
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:20213
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12195
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6805
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3785
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3716
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:20375
STRATIFICATION_DESCENT
Definition: SatParameters.java:2132
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3278
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6537
final int getNumber()
Definition: SatParameters.java:1509
Builder setMipVarScaling(double value)
Definition: SatParameters.java:20532
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:19769
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:16839
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:18571
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3830
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2865
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5437
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5284
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:6962
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3178
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7103
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5741
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:11645
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:13582
Builder clearCatchSigintSignal()
Definition: SatParameters.java:20292
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:18797
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:16789
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:13192
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12671
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1476
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:4819
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:15235
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1309
.lang.Override boolean hasName()
Definition: SatParameters.java:2654
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1273
final int getNumber()
Definition: SatParameters.java:2564
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4025
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:20199
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:17720
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:18779
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3267
.lang.Override int getSerializedSize()
Definition: SatParameters.java:7712
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:19935
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:19743
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:12318
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4637
Builder clearUseBranchingInLp()
Definition: SatParameters.java:20166
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:15874
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:14969
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:13736
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:6494
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:20905
Builder clearCpModelPresolve()
Definition: SatParameters.java:15168
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:9921
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:16899
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2313
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5373
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6159
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:12335
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2990
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12165
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:5830
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4585
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1867
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1060
Builder clearPolishLpSolution()
Definition: SatParameters.java:20422
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17644
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6274
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:16197
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1559
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4434
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:12373
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:18982
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:15962
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:14751
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5552
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:20789
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:3874
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2413
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:15775
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:6683
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:20504
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:12238
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:15947
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:13152
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3754
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:13915
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:18854
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:4653
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:19342
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1817
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1974
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:4666
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3948
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:6836
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2724
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6013
Builder clearLinearizationLevel()
Definition: SatParameters.java:16695
Builder setMipMaxBound(double value)
Definition: SatParameters.java:20469
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3245
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:15130
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6270
static Polarity forNumber(int value)
Definition: SatParameters.java:1281
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:11879
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4121
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3155
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:5602
STRATIFICATION_NONE
Definition: SatParameters.java:2123
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3814
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:18947
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:19546
PROTECTION_NONE
Definition: SatParameters.java:1601
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:16974
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:19478
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:5677
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:12519
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5849
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6392
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5002
Builder setRestartPeriod(int value)
Definition: SatParameters.java:13453
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:15404
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:13497
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5049
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:12864
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:17309
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4625
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:15154
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:12943
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:13440
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3107
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:12645
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:12118
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:6927
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2609
Builder setRandomSeed(int value)
Definition: SatParameters.java:14397
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:6865
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:19087
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4103
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3625
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5086
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4392
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:14341
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3552
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4753
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1054
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3878
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:15647
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:16374
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:14491
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:17202
Definition: SatParameters.java:1345
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:6896
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2743
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5481
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6056
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3400
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:18304
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2447
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:12632
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:18196
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6217
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:15746
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:14174
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12779
FIXED_SEARCH
Definition: SatParameters.java:2275
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:19601
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3224
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:17614
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1319
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:5753
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:14506
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:18474
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:18257
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:17832
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:5895
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:6695
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4823
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:6801
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5164
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2453
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3442
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:20880
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:14588
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:18351
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6235
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2045
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:20122
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3689
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:16713
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2896
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5419
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:20020
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4328
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4173
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4947
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4008
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:6637
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:5863
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2984
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9895
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6043
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4508
LUBY_RESTART
Definition: SatParameters.java:1859
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:18395
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:9917
Builder clearPresolveUseBva()
Definition: SatParameters.java:14983
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1140
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:13781
LP_SEARCH
Definition: SatParameters.java:2293
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4749
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:20276
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:6633
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2737
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:14311
Builder clearExploitBestSolution()
Definition: SatParameters.java:18210
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:6560
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6444
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5360
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4734
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:13003
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3159
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:18317
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:16080
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6375
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:19801
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:12546
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:19917
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7022
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3915
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:14841
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4450
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:17279
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3685
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:10294
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1427
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5331
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:17423
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:13723
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6408
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:19495
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:9878
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:14605
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2506
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:15820
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4446
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:14252
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:12185
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9862
PROPAGATION_ASSISTED
Definition: SatParameters.java:2519
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:10980
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9872
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5141
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:17581
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:12347
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:12594
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:16417
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:12805
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:18888
java.lang.String getName()
Definition: SatParameters.java:11505
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3124
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:12534
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:18870
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:13668
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:15433
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:18919
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:15323
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:15113
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:16023
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:18184
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2951
boolean hasName()
Definition: SatParameters.java:11493
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4989
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:12462
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2883
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:14688
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:12973
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:18229
Builder clearClauseActivityDecay()
Definition: SatParameters.java:13123
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3082
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5940
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:20645
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:17139
Builder setName(java.lang.String value)
Definition: SatParameters.java:11551
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2730
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:17092
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:20455
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:11782
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:16299
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:17920