Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
181 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
193 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
205 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
282 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
359 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
376 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
408 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
425 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
437 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
455 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
568 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
980 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1155 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1161 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1163 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1552 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1680 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2204 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2345 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2819 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2821 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2838 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2840 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
3098 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
3100 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3101 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3117 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3119 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3120 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3256 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3258 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3259 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3304 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3306 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3307 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3600 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3605 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3606 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3625 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3627 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
5362 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
5364 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
5365 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5410 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5412 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5413 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
6224 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
6226 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
6227 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
7261 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
7263 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
7264 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
8621 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
9162 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
9175 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
9220 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
9225 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
9315 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
9360 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
9375 if (hasPermutePresolveConstraintOrder() != other.hasPermutePresolveConstraintOrder()) return false;
9415 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
9435 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
9466 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
9471 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
9538 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
9567 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
9576 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
9581 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
9586 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
9591 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
9606 if (hasMaxDomainSizeWhenEncodingEqNeqConstraints() != other.hasMaxDomainSizeWhenEncodingEqNeqConstraints()) return false;
9666 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
9718 if (hasFixVariablesToTheirHintedValue() != other.hasFixVariablesToTheirHintedValue()) return false;
9758 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
9788 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
9793 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
9803 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
9833 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9858 if (hasLnsExpandIntervalsInConstraintGraph() != other.hasLnsExpandIntervalsInConstraintGraph()) return false;
9897 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9959 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
10840 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
10901 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10907 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
10909 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
10992 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
11276 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
11678 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
11684 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11696 result.maxDomainSizeWhenEncodingEqNeqConstraints_ = maxDomainSizeWhenEncodingEqNeqConstraints_;
12330 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
12333 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
12336 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
12345 setMaxDomainSizeWhenEncodingEqNeqConstraints(other.getMaxDomainSizeWhenEncodingEqNeqConstraints());
12730 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
12738 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
12773 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
12774 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
13303 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
13305 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
13306 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
13313 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
13346 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
13348 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
13349 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
13356 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
13635 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
13636 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
13643 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
13737 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
13738 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
13745 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
14373 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
14375 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
14411 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
14457 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
14513 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
17916 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
17918 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
17919 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
17926 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
18018 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
18020 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
18021 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
18028 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
19678 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
19679 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
19686 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
21791 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
21792 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:12839
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13338
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:15478
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:16829
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:10867
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:21856
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3597
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:14027
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:18770
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:7449
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:15143
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1511
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6101
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19396
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1256
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:19128
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:20873
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5801
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3337
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14239
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14943
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1619
FIXED_SEARCH
Definition: SatParameters.java:2375
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4279
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2918
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7888
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:6155
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5814
static final int DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER
Definition: SatParameters.java:5078
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2066
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:12997
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:7194
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:22272
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:16614
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:4047
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2914
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:7134
.lang.Override boolean hasName()
Definition: SatParameters.java:2755
.lang.Override boolean hasSolutionPoolSize()
Definition: SatParameters.java:7177
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6788
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17504
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2539
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5630
.lang.Override boolean hasSolutionPoolSize()
Definition: SatParameters.java:21618
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2819
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7736
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:10807
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2933
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:22904
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4649
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5572
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3975
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:18065
Builder clearUseRelaxationLns()
Definition: SatParameters.java:21871
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:21731
Builder clearLogPrefix()
Definition: SatParameters.java:15953
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:6178
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5860
Builder clearExploitObjective()
Definition: SatParameters.java:20187
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:17740
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6870
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:18377
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1639
final int getNumber()
Definition: SatParameters.java:1864
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2997
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:22542
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:13715
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3933
Builder clearMipCheckPrecision()
Definition: SatParameters.java:23069
final int getNumber()
Definition: SatParameters.java:2495
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:15420
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:22209
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:17258
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:19947
static final int USE_ABSL_RANDOM_FIELD_NUMBER
Definition: SatParameters.java:4264
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:7232
final int getNumber()
Definition: SatParameters.java:1363
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13313
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:22883
final int getNumber()
Definition: SatParameters.java:2024
Builder setMipVarScaling(double value)
Definition: SatParameters.java:22749
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:15083
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:21054
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14223
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13960
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4862
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18676
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21574
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:15760
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7389
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4845
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14343
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13326
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7000
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:7221
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2719
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1409
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4271
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6105
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:5245
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5979
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:12010
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:21496
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:7161
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2175
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2682
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5403
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13976
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6922
Builder setLogPrefix(java.lang.String value)
Definition: SatParameters.java:15935
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1911
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:17881
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13834
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:5016
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:6047
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2183
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2054
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2403
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:7528
final int getNumber()
Definition: SatParameters.java:2664
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6027
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:16644
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6319
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:22022
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:20250
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:14278
Builder setDisableConstraintExpansion(boolean value)
Definition: SatParameters.java:17389
.lang.Override boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19839
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:21830
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:19980
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6058
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12763
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:17764
Definition: SatParameters.java:1444
HINT_SEARCH
Definition: SatParameters.java:2423
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:15050
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3156
PROPAGATION_ASSISTED
Definition: SatParameters.java:2619
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:5032
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:7296
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:5122
.lang.Override boolean getLogToResponse()
Definition: SatParameters.java:16056
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:20172
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15449
.lang.Override boolean getLogSubsolverStatistics()
Definition: SatParameters.java:15834
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:7057
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:13799
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6483
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7577
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:13550
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:17637
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2145
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15065
static final int LOG_TO_STDOUT_FIELD_NUMBER
Definition: SatParameters.java:4403
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4693
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:7511
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4252
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18221
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1537
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1651
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:14608
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3418
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:22335
Builder clearCutCleanupTarget()
Definition: SatParameters.java:19597
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:7573
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3344
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4486
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5490
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5210
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:16406
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:22528
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:23122
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3676
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6713
Builder setLnsExpandIntervalsInConstraintGraph(boolean value)
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21590
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15441
.lang.Override boolean hasLogToStdout()
Definition: SatParameters.java:15989
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:20670
Builder clearPermuteVariableRandomly()
Definition: SatParameters.java:15664
Builder setPermuteVariableRandomly(boolean value)
Definition: SatParameters.java:15647
Builder setPermutePresolveConstraintOrder(boolean value)
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15693
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5227
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1327
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:20403
final int getNumber()
Definition: SatParameters.java:1482
Builder setLogSubsolverStatistics(boolean value)
Definition: SatParameters.java:15848
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6808
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:18695
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6769
Builder clearMipWantedPrecision()
Definition: SatParameters.java:22927
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:20206
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:16934
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:16989
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:20039
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:13453
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:21072
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:17286
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1794
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:16318
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:22237
Builder clearUseProbingSearch()
Definition: SatParameters.java:20309
Builder clearCoverOptimization()
Definition: SatParameters.java:17896
PROTECTION_LBD
Definition: SatParameters.java:1717
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18028
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3917
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:6437
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:17001
Definition: SatParameters.java:2214
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:6074
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:19994
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6893
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:4241
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12751
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2900
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:7434
Builder clearMinimizeCore()
Definition: SatParameters.java:17778
Builder setConvertIntervals(boolean value)
Definition: SatParameters.java:22556
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20327
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:14835
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:14735
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3757
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1584
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12026
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17425
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:19026
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:5275
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:15109
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:6230
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:16977
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:5149
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15433
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7674
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7718
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16299
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3809
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:22412
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:19234
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14184
.lang.Override boolean hasLogToResponse()
Definition: SatParameters.java:16044
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:6211
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17916
Builder setName(java.lang.String value)
Definition: SatParameters.java:12669
.lang.Override boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5648
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:6132
Builder clearLogSubsolverStatistics()
Definition: SatParameters.java:15864
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:22316
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:15262
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:20112
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2553
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1222
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6217
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3890
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:21688
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2153
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3867
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:7100
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3665
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:20146
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4975
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4560
.lang.Override int getRandomSeed()
Definition: SatParameters.java:15561
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1874
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:13015
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:5332
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:19716
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2709
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5847
PROTECTION_ALWAYS
Definition: SatParameters.java:1709
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:13062
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6410
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:20573
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:20556
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:22363
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1154
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3333
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:15171
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:19304
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:16960
Builder clearMaxNumCuts()
Definition: SatParameters.java:18617
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17441
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3684
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4295
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:17085
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3979
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:18842
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:6348
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7751
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:18585
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2513
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:21154
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:10796
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:12944
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1266
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:22735
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3962
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:11280
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:5074
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3578
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1800
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16169
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13295
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19339
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21561
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:18875
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:19075
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13633
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4682
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:7542
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:6996
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3461
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3802
static final int PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER
Definition: SatParameters.java:4212
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:13197
Builder clearUsePhaseSaving()
Definition: SatParameters.java:12881
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:20629
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1917
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:22004
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:6257
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4624
.lang.Override boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6623
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5957
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:5061
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:4226
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:14990
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6656
Builder clearLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21600
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:5291
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:6466
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21781
Builder clearMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18550
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:12032
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4755
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:18949
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17926
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18317
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:7346
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:18661
Builder setFixVariablesToTheirHintedValue(boolean value)
Definition: SatParameters.java:19865
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:20999
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:14722
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2768
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:20128
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1655
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5789
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:13813
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:13509
Builder clearPresolveUseBva()
Definition: SatParameters.java:16594
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13842
Builder clearAddCliqueCuts()
Definition: SatParameters.java:18979
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5020
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:20612
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5416
.lang.Override boolean hasClauseCleanupRatio()
Definition: SatParameters.java:13569
Builder clearExploitBestSolution()
Definition: SatParameters.java:20065
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14886
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2743
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:21676
Builder clearConvertIntervals()
Definition: SatParameters.java:22572
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:19740
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:13034
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6897
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1786
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4636
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14904
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18635
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:21172
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21319
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:19164
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:5316
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:5003
.lang.Override boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6315
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:6379
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3110
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20764
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:7111
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:19204
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3256
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:21912
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:17855
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13901
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14200
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:19251
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:13419
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1756
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3085
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2984
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:20855
final int getNumber()
Definition: SatParameters.java:1746
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17970
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6866
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4858
Builder clearUseOptionalVariables()
Definition: SatParameters.java:22123
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:16511
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:10840
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:18600
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:23025
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6143
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5355
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7705
static final int LOG_SUBSOLVER_STATISTICS_FIELD_NUMBER
Definition: SatParameters.java:4312
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:5157
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5453
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:16814
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:14171
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5681
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5494
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:19656
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2949
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:14763
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:14821
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:18757
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:7559
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7127
.lang.Override boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18503
Builder clearUseImpliedBounds()
Definition: SatParameters.java:22442
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:16346
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2793
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16905
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3886
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17939
.lang.Override boolean hasLogToResponse()
Definition: SatParameters.java:4441
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6804
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:15786
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21284
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14525
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5549
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3480
CLAUSE_ACTIVITY
Definition: SatParameters.java:1835
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:21769
static final int SOLUTION_POOL_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7165
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:15243
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10858
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:14621
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:13048
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:20704
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:12981
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:22818
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6555
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:5397
Builder clearRandomSeed()
Definition: SatParameters.java:15597
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:16629
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:15329
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:7480
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:21085
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17054
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6851
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7898
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4678
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17514
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:15522
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:17868
Builder clearExpandReservoirConstraints()
Definition: SatParameters.java:17345
Builder setMaxDomainSizeWhenEncodingEqNeqConstraints(int value)
Definition: SatParameters.java:18533
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:5045
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3509
.lang.Override int getSerializedSize()
Definition: SatParameters.java:8414
.lang.Override boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6607
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:22462
static final int OPTIMIZE_WITH_LB_TREE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6592
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:6423
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3625
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14333
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:19615
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21551
Builder clearUseOptimizationHints()
Definition: SatParameters.java:17723
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:7466
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5393
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14544
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4504
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:20687
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:17564
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17496
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6881
Builder clearLogToResponse()
Definition: SatParameters.java:16082
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:21213
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4653
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13389
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4784
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7261
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:15544
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5696
.lang.Override boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20472
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:13700
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6530
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:20010
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18163
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1405
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:14009
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18041
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:18998
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:22426
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14210
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:17796
Builder clearPolishLpSolution()
Definition: SatParameters.java:22509
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:22143
.lang.Override int getSolutionPoolSize()
Definition: SatParameters.java:7190
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:17015
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2966
Builder clearSolutionPoolSize()
Definition: SatParameters.java:21659
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5756
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:18468
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14518
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:21412
int getRestartAlgorithmsCount()
Definition: SatParameters.java:14392
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6697
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16240
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:16199
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:6526
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:22349
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4157
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:15506
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14078
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18146
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:21755
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:7248
.lang.Override double getClauseCleanupRatio()
Definition: SatParameters.java:13583
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:19583
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:4043
STRATIFICATION_ASCENT
Definition: SatParameters.java:2243
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1230
Builder setUseAbslRandom(boolean value)
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15732
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:19473
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:14849
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:21508
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18018
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:21955
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2980
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19686
.lang.Override int getSolutionPoolSize()
Definition: SatParameters.java:21631
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:17457
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14317
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3091
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:17130
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:21028
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14917
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4912
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19288
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3645
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:5264
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:16278
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:3015
.lang.Override int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5663
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4595
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18180
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6837
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:21229
Builder clearDisableConstraintExpansion()
Definition: SatParameters.java:17404
Builder setRestartPeriod(int value)
Definition: SatParameters.java:14634
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:7484
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:19559
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4208
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:19641
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:7244
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:6453
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14249
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3321
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:20388
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:20648
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:17304
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1319
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10833
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4796
.lang.Override boolean getLogToStdout()
Definition: SatParameters.java:16001
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:22093
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14431
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:13216
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3950
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:9107
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1252
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:21245
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4457
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1500
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3274
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19699
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:6365
Builder clearPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15703
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:13180
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:15773
Builder setRandomSeed(int value)
Definition: SatParameters.java:15578
.lang.Override java.lang.String getLogPrefix()
Definition: SatParameters.java:4366
Builder setExpandReservoirConstraints(boolean value)
Definition: SatParameters.java:17330
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:18829
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:6241
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:16741
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:10852
Builder clearUseExactLpReason()
Definition: SatParameters.java:22190
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4125
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:12020
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19524
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:22862
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17488
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:12965
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:13535
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4564
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5457
Builder setLogToStdout(boolean value)
Definition: SatParameters.java:16013
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:19774
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3179
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19516
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4577
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:4121
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1665
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5891
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2324
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:17271
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6773
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6497
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:21943
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19440
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:21398
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2705
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4260
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7015
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6734
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:3011
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3551
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7767
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:6333
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19668
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3249
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1160
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6980
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15716
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:17983
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4132
static Builder newBuilder()
Definition: SatParameters.java:10868
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12720
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:16102
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:6513
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17656
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7254
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:18888
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:17809
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5434
boolean hasName()
Definition: SatParameters.java:12611
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:12572
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5830
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1419
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2294
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6693
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:17676
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:22492
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5843
.lang.Override boolean getLogSubsolverStatistics()
Definition: SatParameters.java:4339
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1903
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:7637
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5729
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3167
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13826
.lang.Override int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18518
static final int MAX_DOMAIN_SIZE_WHEN_ENCODING_EQ_NEQ_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5634
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:16421
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2674
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2887
.lang.Override boolean hasLogToStdout()
Definition: SatParameters.java:4414
Builder clearStopAfterPresolve()
Definition: SatParameters.java:21113
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6559
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21292
Builder setLogToResponse(boolean value)
Definition: SatParameters.java:16068
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2304
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:6406
Builder clearMipMaxBound()
Definition: SatParameters.java:22702
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:18124
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:19571
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:19042
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:19930
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22802
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7606
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13303
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:11294
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15685
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3152
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:15617
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:15187
Builder clearUseLnsOnly()
Definition: SatParameters.java:21522
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19377
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3410
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12728
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:6008
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5410
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:17534
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7812
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:15355
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6043
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1774
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2883
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:10881
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6751
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:14290
Builder clearNumSearchWorkers()
Definition: SatParameters.java:21192
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:18739
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7732
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18357
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:13775
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:18483
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:10818
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13727
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6943
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3539
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3297
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:10828
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:7279
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:7385
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:20823
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13625
.lang.Override boolean hasClauseCleanupRatio()
Definition: SatParameters.java:3225
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18010
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:18455
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4705
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1907
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5922
.lang.Override boolean getLogToStdout()
Definition: SatParameters.java:4426
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:19900
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3403
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:20967
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4833
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5527
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5772
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2806
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:12577
Builder clearSymmetryLevel()
Definition: SatParameters.java:22639
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:12859
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:5320
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:22286
static final int EXPAND_RESERVOIR_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5049
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14878
Builder clearCpModelPresolve()
Definition: SatParameters.java:16779
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19410
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:20353
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21799
Builder clearMipVarScaling()
Definition: SatParameters.java:22765
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4519
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:17752
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4889
Builder clearUseBranchingInLp()
Definition: SatParameters.java:22253
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2189
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16216
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:16846
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3704
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13346
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:7267
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:22477
.lang.Override Builder toBuilder()
Definition: SatParameters.java:10875
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1260
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23076
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:5175
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:23112
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:19966
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:13522
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:17549
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:6136
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:20952
Builder clearCatchSigintSignal()
Definition: SatParameters.java:22379
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15024
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:5194
PORTFOLIO_SEARCH
Definition: SatParameters.java:2383
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7046
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1580
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:17168
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5909
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4960
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2080
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:15297
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:14704
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7882
java.lang.String getName()
Definition: SatParameters.java:12623
.lang.Override boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:15820
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13369
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:6394
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:21136
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13283
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6501
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2074
Builder clearFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19880
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1373
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6070
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4080
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6965
PROTECTION_NONE
Definition: SatParameters.java:1701
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7791
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:21467
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14894
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:15096
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2330
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20802
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16259
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3422
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2413
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:5231
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14457
Builder clearRestartAlgorithms()
Definition: SatParameters.java:14506
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7007
NEAREST_INTEGER
Definition: SatParameters.java:2587
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14586
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:10871
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:22300
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:16117
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:16708
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3081
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:3048
static final int SYMMETRY_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:7641
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4541
Builder setOptimizeWithLbTreeSearch(boolean value)
Definition: SatParameters.java:20488
FIXED_RESTART
Definition: SatParameters.java:1983
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3921
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:21453
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6730
Builder setMipMaxBound(double value)
Definition: SatParameters.java:22686
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20340
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:17154
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:17691
java.lang.String getLogPrefix()
Definition: SatParameters.java:15891
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6573
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3468
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6833
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:16694
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:4006
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10822
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:15282
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:11275
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6627
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:23006
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3399
LOCK_BASED
Definition: SatParameters.java:2597
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3742
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
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:3117
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17475
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5473
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:22592
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3769
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:22986
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14776
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:7334
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14325
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12004
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7701
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:7350
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3547
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1523
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:20932
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5905
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1790
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:7416
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:17376
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7868
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:12928
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3574
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1627
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:7217
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:16393
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2953
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:21098
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:22040
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:10900
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21812
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:18963
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14962
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14925
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3848
final int getNumber()
Definition: SatParameters.java:2135
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5936
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4308
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:5260
Builder clearRepairHint()
Definition: SatParameters.java:19821
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:22398
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:18442
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1240
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3310
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:15632
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6470
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4900
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3593
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2320
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:19012
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:20526
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4916
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:16922
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16439
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3243
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:7205
.lang.Override boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6302
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:15376
.lang.Override boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20456
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:5103
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:151
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5586
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10812
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20368
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7851
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:2034
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5742
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10906
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3562
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3439
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3104
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:19628
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14231
Builder clearAddMirCuts()
Definition: SatParameters.java:18857
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3852
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1764
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:18916
Builder setUseProbingSearch(boolean value)
Definition: SatParameters.java:20294
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:18723
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3798
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:3031
Builder clearRestartPeriod()
Definition: SatParameters.java:14649
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7591
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:18103
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:17245
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:14139
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23082
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:12704
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3356
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:21484
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:21900
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:144
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13436
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6151
IN_ORDER
Definition: SatParameters.java:1183
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:20084
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:20234
Builder setRepairHint(boolean value)
Definition: SatParameters.java:19804
CLAUSE_LBD
Definition: SatParameters.java:1843
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:20281
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19351
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:16539
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:4076
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4935
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5874
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:18709
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15724
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21582
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5601
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:17212
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:14124
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4191
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4947
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13986
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:21016
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:22060
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1527
static final int CONVERT_INTERVALS_FIELD_NUMBER
Definition: SatParameters.java:7610
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4814
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:16753
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:16524
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7816
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5818
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5760
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16452
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5161
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:11285
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:7323
final int getNumber()
Definition: SatParameters.java:1609
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:20904
.lang.Override double getClauseCleanupRatio()
Definition: SatParameters.java:3239
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18336
Builder clearLinearizationLevel()
Definition: SatParameters.java:18424
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:7497
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:7307
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:12900
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:16580
Builder clearUseBlockingRestart()
Definition: SatParameters.java:14865
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6660
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17957
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:12647
Builder clearExpandElementConstraints()
Definition: SatParameters.java:17113
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12738
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6961
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3785
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1967
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:4061
Builder clearHintConflictLimit()
Definition: SatParameters.java:19754
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:6012
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:13163
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3585
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:12914
Builder clearOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20506
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:7319
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2527
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7771
Builder setLogPrefixBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:15968
Builder clearLogSearchProgress()
Definition: SatParameters.java:15801
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6383
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2812
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3287
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:13674
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:7402
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21789
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13251
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18298
Builder clearInterleaveSearch()
Definition: SatParameters.java:21263
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:23097
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16184
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:21386
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:15124
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4523
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17603
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6224
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:18783
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:16724
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4591
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14976
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4829
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:13787
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:21926
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3304
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:14690
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3195
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3066
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3352
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12771
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3817
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:6286
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21302
boolean hasLogPrefix()
Definition: SatParameters.java:15880
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:18935
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5993
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:5345
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:7153
Builder clearExpandTableConstraints()
Definition: SatParameters.java:17227
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7030
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:19424
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13356
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5667
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4738
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3123
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6542
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5349
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4709
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3878
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:17822
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3520
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7687
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:20051
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3773
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16480
final int getNumber()
Definition: SatParameters.java:2276
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:22107
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:22223
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7073
Builder setClauseCleanupRatio(double value)
Definition: SatParameters.java:13597
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:16498
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:7670
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:21743
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:16332
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:19728
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:2042
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:19184
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4471
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:20541
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5605
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:20917
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4171
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1492
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:23117
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:17142
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3494
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:14266
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3834
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:22173
static Polarity forNumber(int value)
Definition: SatParameters.java:1381
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:20268
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4800
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14086
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:20027
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:20782
Builder clearVariableActivityDecay()
Definition: SatParameters.java:14065
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:21441
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3717
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:14748
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6926
Builder clearUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15742
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2713
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15037
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4769
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4490
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1393
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13758
static final int PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4245
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:13687
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12781
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6909
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:7019
static final int CLAUSE_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3212
static final int LOG_TO_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4430
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:13266
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21357
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:20159
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:7623
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18199
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4885
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5700
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4283
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4742
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3183
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:17098
Builder clearFindMultipleCores()
Definition: SatParameters.java:17837
.lang.Override boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:4325
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18238
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:7084
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21535
Builder clearUseRinsLns()
Definition: SatParameters.java:21714
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16877
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:19459
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:16661
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14933
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18648
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:7420
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:20723
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:15209
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3476
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7546
AUTOMATIC_SEARCH
Definition: SatParameters.java:2365
.lang.Override com.google.protobuf.ByteString getLogPrefixBytes()
Definition: SatParameters.java:4390
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:16946
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6182
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3946
LUBY_RESTART
Definition: SatParameters.java:1959
Builder clearUsePbResolution()
Definition: SatParameters.java:16149
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14094
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5712
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19322
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4010
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1531
Builder setSolutionPoolSize(int value)
Definition: SatParameters.java:21644
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2825
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17028
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:22950
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3377
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:14666
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:15157
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:18407
.lang.Override boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19852
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:13111
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3513
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:7292
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:23053
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10845
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:13078
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:5090
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:4026
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14104
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2179
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13852
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15459
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:20220
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:17581
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:14373
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:18392
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13656
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19272
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5975
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:22721
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:17199
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15677
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5380
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:22658
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1975
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3291
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4140
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3903
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:16362
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2286
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:12041
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16864
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:15312
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4607
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2863
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:16568
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2844
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5568
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5142
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4723
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:20839
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:7515
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13745
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:16765
static final int LOG_PREFIX_FIELD_NUMBER
Definition: SatParameters.java:4343
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:16465
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:22607
Builder clearOptimizeWithCore()
Definition: SatParameters.java:20435
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3457
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17620
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:12015
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:16890
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17998
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14802
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:22968
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7833
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:21343
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:19503
.lang.Override Builder clear()
Definition: SatParameters.java:10928
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15006
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14192
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:13141
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:16799
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13968
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:19363
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:7069
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4144
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3262
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2831
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:20982
Builder clearLogToStdout()
Definition: SatParameters.java:16027
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1891
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:12819
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18274
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:14045
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4964
.lang.Override Builder clone()
Definition: SatParameters.java:12000
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5510
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2838
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5940
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14784
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4773
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:13125
.lang.Override int hashCode()
Definition: SatParameters.java:9986
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3871
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3208
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3746
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:5138
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:16680
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:17317
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13404
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:6118
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2505
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4873
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:20098
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:23102
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:17706
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19676
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:19789
STRATIFICATION_DESCENT
Definition: SatParameters.java:2232
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5362
static final int LNS_EXPAND_INTERVALS_IN_CONSTRAINT_GRAPH_FIELD_NUMBER
Definition: SatParameters.java:7146
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5107
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:15226
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:14678
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2316
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:16380
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:6441
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:5303
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14561
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:16132
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6641
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:17363
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22786
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:14411
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17908
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5725
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1576
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2693
Builder clearClauseCleanupRatio()
Definition: SatParameters.java:13613
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:21843
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:18901
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6676
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:6194
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22836
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2543
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:19061
final int getNumber()
Definition: SatParameters.java:1212
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:23039
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3821
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:14154
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13947
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3528
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:18816
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:22672
STRATIFICATION_NONE
Definition: SatParameters.java:2223
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:7142
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:15492
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4620
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7855
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:19105
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20746
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:19487
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:7123
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:21429
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19532
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:21374
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:16556
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6820
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:5287
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:21967
com.google.protobuf.ByteString getLogPrefixBytes()
Definition: SatParameters.java:15914
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:20418
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:21888
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4987
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:3052
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5368
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:6253
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3098
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:13097
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5785
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6588
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1659
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6352
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17044
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19542
Builder setSymmetryLevel(int value)
Definition: SatParameters.java:22622
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10801
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4665
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:18570
Builder clearRandomizeSearch()
Definition: SatParameters.java:21981
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:15397
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7042
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:6207
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:5190
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5617
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:7453
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17036
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13643
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3992
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:7096
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14575
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13879
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:17072
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21331
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3137
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5531
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:22079
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:19915
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3669
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:6166
Builder clearName()
Definition: SatParameters.java:12688
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2547
static final int FIX_VARIABLES_TO_THEIR_HINTED_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6290
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4931
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2070
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:19089
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:19219
.lang.Override boolean hasLogPrefix()
Definition: SatParameters.java:4354
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:13923
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:13477
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4923
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12794
.lang.Override boolean getLogToResponse()
Definition: SatParameters.java:4453
Builder clearClauseActivityDecay()
Definition: SatParameters.java:14304
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21276
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:21040
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:22158
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1882
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13236
Builder clearAddCgCuts()
Definition: SatParameters.java:18798
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3532
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:20891
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13735
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2163
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:7655
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:19146
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21543
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:13465
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:6271
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4175
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2606
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:4100
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:17186
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:18084
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:14482
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:13491
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18255
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:21700
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6087
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3729
LP_SEARCH
Definition: SatParameters.java:2393
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1413
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14792
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:7367
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4991
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:20595
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3859