Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
165 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
177 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
189 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
266 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
343 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
360 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
392 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
409 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
421 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
439 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
552 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
955 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
961 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
963 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1352 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1480 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2004 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2145 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2391 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2410 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2621 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2623 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2624 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2640 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2642 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2643 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2744 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2745 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2790 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2791 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3062 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3067 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3068 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3086 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3088 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
4288 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
4289 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
4332 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
4334 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
4335 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
5011 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
5012 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
6791 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
7184 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
7197 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
7236 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
7241 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
7331 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
7364 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
7384 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
7404 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
7435 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
7506 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
7515 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
7520 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
7525 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
7530 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
7590 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
7662 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
7687 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
7697 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
7727 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
7772 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
8527 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
8588 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8594 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
8596 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
8673 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
8893 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
9221 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
9227 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
9746 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
9749 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
9752 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
9979 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
9987 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
10021 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
10022 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
10467 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
10469 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
10470 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
10477 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
10509 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
10511 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
10512 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
10519 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
10728 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
10729 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
10736 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
10827 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
10828 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
10835 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
11441 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
11443 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
11479 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
11525 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
11581 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
13997 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
13999 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
14000 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
14007 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
14096 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
14098 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
14099 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
14106 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
15522 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
15523 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
15530 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2935
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3580
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:5562
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:9937
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10835
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3298
boolean getDiversifyLnsParams()
Definition: SatParameters.java:17080
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:5679
boolean getUseExactLpReason()
Definition: SatParameters.java:5874
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:3884
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1564
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:15854
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:12366
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2408
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11593
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:10613
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5073
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:15338
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:17181
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:10099
boolean hasMipMaxBound()
Definition: SatParameters.java:17624
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:13518
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4575
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:15179
boolean hasLogSearchProgress()
Definition: SatParameters.java:3590
final int getNumber()
Definition: SatParameters.java:1163
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1427
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3006
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:17092
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:6173
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:10707
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:14294
Builder clearAddCgCuts()
Definition: SatParameters.java:14789
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2788
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:5183
Builder clearCutCleanupTarget()
Definition: SatParameters.java:15444
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2856
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:11525
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2590
boolean getInstantiateAllVariables()
Definition: SatParameters.java:5398
int getPresolveBveClauseWeight()
Definition: SatParameters.java:3758
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14643
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:15939
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3417
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:16105
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10719
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1455
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1205
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:13626
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4658
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:16982
Builder clearMipVarScaling()
Definition: SatParameters.java:17728
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:5402
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12668
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10985
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2633
boolean hasUseRelaxationLns()
Definition: SatParameters.java:17013
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:4793
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:16573
double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:4940
Builder clearUseRinsLns()
Definition: SatParameters.java:16996
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:4219
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2729
boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:4933
Builder clearVariableActivityDecay()
Definition: SatParameters.java:11145
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:13700
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:15064
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:10431
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3541
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:14369
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2713
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3663
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1052
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3124
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3545
boolean hasCatchSigintSignal()
Definition: SatParameters.java:17502
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:5166
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1439
boolean getInstantiateAllVariables()
Definition: SatParameters.java:16328
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:5356
Builder clearUseLnsOnly()
Definition: SatParameters.java:16906
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11284
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:16639
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8545
boolean getAddKnapsackCuts()
Definition: SatParameters.java:14702
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13990
boolean hasOptimizeWithCore()
Definition: SatParameters.java:15973
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3901
boolean hasMipVarScaling()
Definition: SatParameters.java:6035
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2203
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1030
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:13560
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:11731
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:16747
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:15093
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:11007
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:16800
boolean hasUsePhaseSaving()
Definition: SatParameters.java:10064
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10818
boolean getMinimizeCore()
Definition: SatParameters.java:4215
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:15130
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3328
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:14119
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:14534
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3400
double getMipVarScaling()
Definition: SatParameters.java:17698
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:13114
double getRandomPolarityRatio()
Definition: SatParameters.java:10154
boolean getAddCgCuts()
Definition: SatParameters.java:14761
final int getNumber()
Definition: SatParameters.java:1664
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10416
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3953
boolean hasLinearizationLevel()
Definition: SatParameters.java:4499
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10749
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:4780
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2877
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:4246
boolean hasMipCheckPrecision()
Definition: SatParameters.java:17909
final int getNumber()
Definition: SatParameters.java:1824
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:15430
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:15025
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3258
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:17968
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4392
boolean getDiversifyLnsParams()
Definition: SatParameters.java:5752
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:11768
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2646
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2496
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6130
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:5932
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:14716
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:13714
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:16178
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5756
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1384
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:3963
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:4159
boolean getInterleaveSearch()
Definition: SatParameters.java:5541
boolean hasUsePbResolution()
Definition: SatParameters.java:3618
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:8568
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1594
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:13287
STRATIFICATION_ASCENT
Definition: SatParameters.java:2043
final int getNumber()
Definition: SatParameters.java:2295
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1707
boolean hasFindMultipleCores()
Definition: SatParameters.java:4230
Builder clearRestartPeriod()
Definition: SatParameters.java:11715
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:15710
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:14062
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:13394
long getProbingPeriodAtRoot()
Definition: SatParameters.java:15867
final int getNumber()
Definition: SatParameters.java:2076
boolean getShareObjectiveBounds()
Definition: SatParameters.java:16774
boolean getRandomizeSearch()
Definition: SatParameters.java:17133
Builder clearRestartAlgorithms()
Definition: SatParameters.java:11574
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:17870
double getMipMaxBound()
Definition: SatParameters.java:17637
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2742
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3431
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10532
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:15218
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:15501
boolean getUseLnsOnly()
Definition: SatParameters.java:16880
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:5254
.lang.Override Builder clear()
Definition: SatParameters.java:8615
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2677
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3465
Builder clearLogSearchProgress()
Definition: SatParameters.java:12570
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:5303
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:16404
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:15619
boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:3937
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3141
boolean getUseExactLpReason()
Definition: SatParameters.java:17330
boolean hasVariableActivityDecay()
Definition: SatParameters.java:11090
boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:15195
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:5085
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:17106
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16925
boolean hasAddMirCuts()
Definition: SatParameters.java:14806
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12916
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2759
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:15250
boolean getMinimizeCore()
Definition: SatParameters.java:13838
boolean getUsePhaseSaving()
Definition: SatParameters.java:2447
boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:16669
boolean hasUseExactLpReason()
Definition: SatParameters.java:17316
double getGlucoseMaxDecay()
Definition: SatParameters.java:11215
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4128
boolean getStopAfterPresolve()
Definition: SatParameters.java:5481
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:11031
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10490
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:17216
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:14142
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5512
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2673
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11612
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16933
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:14689
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3059
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12741
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2621
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2451
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3789
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2894
boolean hasUseOptimizationHints()
Definition: SatParameters.java:13765
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:16733
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:16265
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1674
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3017
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:16002
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3800
boolean hasUseExactLpReason()
Definition: SatParameters.java:5860
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:17590
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4292
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:16827
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:15277
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3702
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:5272
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5587
Builder clearUseOptimizationHints()
Definition: SatParameters.java:13811
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:12383
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4030
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3528
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8520
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:10000
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1451
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:12973
int getPresolveBveThreshold()
Definition: SatParameters.java:12812
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4825
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:5907
double getMipCheckPrecision()
Definition: SatParameters.java:17923
int getClauseCleanupTarget()
Definition: SatParameters.java:2725
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:5386
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:14160
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:13729
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11411
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:8505
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8488
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:8593
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:14831
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:6023
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:14273
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3735
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1989
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:9484
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3281
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1419
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5009
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:16460
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4443
CLAUSE_ACTIVITY
Definition: SatParameters.java:1635
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:14020
int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:3949
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1056
int getPresolveBveClauseWeight()
Definition: SatParameters.java:12871
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:16437
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:12133
boolean hasUseOptionalVariables()
Definition: SatParameters.java:17254
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1060
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3706
PROTECTION_LBD
Definition: SatParameters.java:1517
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:4194
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:12318
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:5878
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:13085
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3841
boolean getAddLinMaxCuts()
Definition: SatParameters.java:4739
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11586
boolean hasInterleaveSearch()
Definition: SatParameters.java:16608
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:6093
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1953
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:10887
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2881
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:5454
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2640
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:15078
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:5919
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:5781
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2120
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2327
PORTFOLIO_SEARCH
Definition: SatParameters.java:2183
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:5622
boolean hasMipWantedPrecision()
Definition: SatParameters.java:6070
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:12337
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4447
final int getNumber()
Definition: SatParameters.java:1935
boolean getUseOptimizationHints()
Definition: SatParameters.java:13779
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3042
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2614
Builder clearCoverOptimization()
Definition: SatParameters.java:13978
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:5210
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3344
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:13318
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:16084
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:14597
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1711
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:8892
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:4927
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:17069
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1842
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1866
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:15354
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:11201
boolean getLogSearchProgress()
Definition: SatParameters.java:12544
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:13906
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10509
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:10766
boolean getExpandElementConstraints()
Definition: SatParameters.java:13437
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2484
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4355
int getMaxAllDiffCutSize()
Definition: SatParameters.java:14877
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11274
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1556
int getLinearizationLevel()
Definition: SatParameters.java:14460
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:11810
.lang.Override int hashCode()
Definition: SatParameters.java:7841
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3210
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:15726
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:12414
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:10383
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:15520
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1870
boolean getUseLnsOnly()
Definition: SatParameters.java:5658
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3311
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3013
int getClauseCleanupTarget()
Definition: SatParameters.java:10679
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2898
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:12227
final int getNumber()
Definition: SatParameters.java:1282
boolean getCpModelPresolve()
Definition: SatParameters.java:13219
int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:4865
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14671
int getClauseCleanupPeriod()
Definition: SatParameters.java:10624
int getClauseCleanupPeriod()
Definition: SatParameters.java:2698
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:13504
boolean getExpandElementConstraints()
Definition: SatParameters.java:4026
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9970
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11303
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:12266
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4082
AUTOMATIC_SEARCH
Definition: SatParameters.java:2165
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4279
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:16448
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2339
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3498
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:14221
boolean getUseOptionalVariables()
Definition: SatParameters.java:5843
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11172
boolean getUseBlockingRestart()
Definition: SatParameters.java:3294
boolean getUseRinsLns()
Definition: SatParameters.java:5700
boolean getUseRelaxationLns()
Definition: SatParameters.java:17025
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:14346
boolean hasAddCgCuts()
Definition: SatParameters.java:4642
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:14907
double getInitialVariablesActivity()
Definition: SatParameters.java:10347
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:15665
boolean hasAddLinMaxCuts()
Definition: SatParameters.java:14925
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16943
boolean hasUsePbResolution()
Definition: SatParameters.java:12589
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11050
int getCutCleanupTarget()
Definition: SatParameters.java:15418
boolean getUseOptimizationHints()
Definition: SatParameters.java:4190
boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:4854
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1380
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:8527
boolean getUseRinsLns()
Definition: SatParameters.java:16970
.lang.Override Builder clone()
Definition: SatParameters.java:9474
static Builder newBuilder()
Definition: SatParameters.java:8555
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5415
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1775
.lang.Override Builder toBuilder()
Definition: SatParameters.java:8562
Builder clearMipCheckPrecision()
Definition: SatParameters.java:17955
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:8587
boolean getUseImpliedBounds()
Definition: SatParameters.java:17576
int getPbCleanupIncrement()
Definition: SatParameters.java:2815
boolean hasUseOptimizationHints()
Definition: SatParameters.java:4176
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:13382
boolean getUseErwaHeuristic()
Definition: SatParameters.java:2538
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3048
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11164
boolean hasVariableActivityDecay()
Definition: SatParameters.java:2914
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13663
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3304
int getPresolveBvaThreshold()
Definition: SatParameters.java:13099
Definition: SatParameters.java:2014
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:12760
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3773
boolean hasExploitBestSolution()
Definition: SatParameters.java:15742
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3785
int getMipMaxActivityExponent()
Definition: SatParameters.java:6126
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:16375
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:12042
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2116
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10726
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1213
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:8539
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3926
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:10249
boolean getStopAfterPresolve()
Definition: SatParameters.java:16503
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:16138
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1337
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:5322
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13595
Builder clearRandomSeed()
Definition: SatParameters.java:12517
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:5371
boolean getUseBranchingInLp()
Definition: SatParameters.java:17393
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:16121
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:5055
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4844
boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:15311
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:17938
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:13850
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:14427
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:16516
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:16892
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:10206
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:17484
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:11550
boolean hasPresolveUseBva()
Definition: SatParameters.java:3826
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:16316
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:5936
boolean getOptimizeWithCore()
Definition: SatParameters.java:5237
double getMaxTimeInSeconds()
Definition: SatParameters.java:3413
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3160
boolean getLogSearchProgress()
Definition: SatParameters.java:3601
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:8911
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4051
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1590
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:17998
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1300
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:6163
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:4145
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:17407
int getClauseCleanupLbdBound()
Definition: SatParameters.java:10778
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5194
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:17454
boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:15366
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:12100
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:5338
boolean hasExploitObjective()
Definition: SatParameters.java:15796
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4714
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11182
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1586
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13610
boolean hasPresolveUseBva()
Definition: SatParameters.java:13029
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1979
boolean hasUseRinsLns()
Definition: SatParameters.java:16959
FIXED_RESTART
Definition: SatParameters.java:1783
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:12115
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:14631
Builder clearMaxNumCuts()
Definition: SatParameters.java:14614
CLAUSE_LBD
Definition: SatParameters.java:1643
boolean getUseBranchingInLp()
Definition: SatParameters.java:5903
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3055
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2130
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:8902
int getRestartAlgorithmsCount()
Definition: SatParameters.java:11460
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:8483
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:15530
boolean getPresolveUseBva()
Definition: SatParameters.java:3837
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:15045
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3236
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:4759
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:11499
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:16341
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:5443
boolean getPresolveUseBva()
Definition: SatParameters.java:13040
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4055
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3816
double getMipWantedPrecision()
Definition: SatParameters.java:17771
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11043
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:4980
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:10964
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:17236
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:12998
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:12176
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1975
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1691
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11979
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:13176
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:16211
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2941
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4598
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15954
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3649
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:9942
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:13481
boolean hasUseBranchingInLp()
Definition: SatParameters.java:5890
Builder clearExpandElementConstraints()
Definition: SatParameters.java:13465
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:5241
boolean hasCpModelPresolve()
Definition: SatParameters.java:3911
boolean getUseImpliedBounds()
Definition: SatParameters.java:5990
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2086
double getRestartDlAverageRatio()
Definition: SatParameters.java:11797
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:13355
double getRandomBranchesRatio()
Definition: SatParameters.java:2509
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2525
int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:15206
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5545
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:6109
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:15513
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3265
int getCpModelProbingLevel()
Definition: SatParameters.java:3974
double getMaxTimeInSeconds()
Definition: SatParameters.java:12146
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4840
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4303
boolean hasClauseActivityDecay()
Definition: SatParameters.java:3027
boolean hasUseImpliedBounds()
Definition: SatParameters.java:5977
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5662
boolean hasStopAfterPresolve()
Definition: SatParameters.java:5469
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1703
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:12299
double getRandomBranchesRatio()
Definition: SatParameters.java:10219
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:17962
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:14049
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11629
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3134
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:15110
double getRestartDlAverageRatio()
Definition: SatParameters.java:3248
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11643
boolean hasUseOptionalVariables()
Definition: SatParameters.java:5830
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:129
boolean hasNumSearchWorkers()
Definition: SatParameters.java:5496
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10551
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11972
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:10267
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:14327
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4427
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2557
boolean hasRestartPeriod()
Definition: SatParameters.java:3184
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15926
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10502
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:12618
boolean hasMipWantedPrecision()
Definition: SatParameters.java:17752
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:14864
Builder clearNumSearchWorkers()
Definition: SatParameters.java:16588
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11311
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:14200
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1066
boolean getFindMultipleCores()
Definition: SatParameters.java:13893
boolean getExploitBestSolution()
Definition: SatParameters.java:15753
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:10636
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5433
double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:15373
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3372
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:12428
Builder clearFindMultipleCores()
Definition: SatParameters.java:13921
boolean hasUseImpliedBounds()
Definition: SatParameters.java:17563
boolean hasMipVarScaling()
Definition: SatParameters.java:17685
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:6052
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:4408
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1127
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4528
IN_ORDER
Definition: SatParameters.java:983
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:5458
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:5994
double getCutMaxActiveCountValue()
Definition: SatParameters.java:4923
boolean getFindMultipleCores()
Definition: SatParameters.java:4242
boolean hasExpandElementConstraints()
Definition: SatParameters.java:4014
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10825
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:136
boolean hasCatchSigintSignal()
Definition: SatParameters.java:5948
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:5633
int getLinearizationLevel()
Definition: SatParameters.java:4513
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10928
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:10667
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4602
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10402
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:11479
Builder clearMipWantedPrecision()
Definition: SatParameters.java:17813
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:10364
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:14549
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:16816
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:15543
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:15145
int getRandomSeed()
Definition: SatParameters.java:3576
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1600
boolean hasUseBranchingInLp()
Definition: SatParameters.java:17380
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:4807
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:14406
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:10139
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:9506
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:5342
int getCpModelProbingLevel()
Definition: SatParameters.java:13329
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11987
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:14096
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1682
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:10580
long getSearchRandomizationTolerance()
Definition: SatParameters.java:17198
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:4743
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9987
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:12015
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3225
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:3988
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4338
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2094
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:10864
boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:13262
Builder clearStopAfterPresolve()
Definition: SatParameters.java:16531
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:5287
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5572
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4517
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:5731
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11852
boolean hasInterleaveSearch()
Definition: SatParameters.java:5526
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:13963
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:13450
Builder clearUseBlockingRestart()
Definition: SatParameters.java:11923
double getVariableActivityDecay()
Definition: SatParameters.java:2931
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4273
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:9489
boolean getCatchSigintSignal()
Definition: SatParameters.java:17515
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:4286
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1119
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:12941
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3388
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:16157
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:16230
boolean hasLogSearchProgress()
Definition: SatParameters.java:12533
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12928
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:15881
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1311
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:14089
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:16194
double getRandomPolarityRatio()
Definition: SatParameters.java:2480
int getNumSearchWorkers()
Definition: SatParameters.java:16560
double getMipVarScaling()
Definition: SatParameters.java:6048
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:11997
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:13492
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13681
boolean hasMipMaxBound()
Definition: SatParameters.java:6006
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10019
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:12401
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11321
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3516
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:4944
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:17345
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3357
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4544
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3252
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:16839
boolean hasExpandTableConstraints()
Definition: SatParameters.java:4066
double getVariableActivityDecay()
Definition: SatParameters.java:11107
int getMaxPresolveIterations()
Definition: SatParameters.java:3897
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:12956
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1880
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10565
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:12826
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2748
boolean hasExpandTableConstraints()
Definition: SatParameters.java:13535
int getNumSearchWorkers()
Definition: SatParameters.java:5508
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10920
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2948
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:5637
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:15585
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:11754
boolean hasUseLnsOnly()
Definition: SatParameters.java:5647
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11058
boolean getUseErwaHeuristic()
Definition: SatParameters.java:10280
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:5069
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:16684
int getPresolveBveThreshold()
Definition: SatParameters.java:3731
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:4869
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3200
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2305
boolean getCoverOptimization()
Definition: SatParameters.java:13950
final int getNumber()
Definition: SatParameters.java:1012
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:12160
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:17145
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:12058
boolean hasAddLinMaxCuts()
Definition: SatParameters.java:4726
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:10188
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1022
boolean getExploitObjective()
Definition: SatParameters.java:5150
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:4898
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2952
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:14475
boolean hasMaxNumCuts()
Definition: SatParameters.java:4557
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4464
int getNewConstraintsBatchSize()
Definition: SatParameters.java:4992
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:9977
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:13794
Builder clearRandomizeSearch()
Definition: SatParameters.java:17159
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:15648
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:14037
boolean hasMipCheckPrecision()
Definition: SatParameters.java:6143
boolean getUseBlockingRestart()
Definition: SatParameters.java:11893
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4811
int getRandomSeed()
Definition: SatParameters.java:12481
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12654
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:14774
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:14509
Builder clearUseOptionalVariables()
Definition: SatParameters.java:17297
int getBooleanEncodingLevel()
Definition: SatParameters.java:14521
boolean hasAddMirCuts()
Definition: SatParameters.java:4669
int getRestartPeriod()
Definition: SatParameters.java:11687
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:14387
boolean hasHintConflictLimit()
Definition: SatParameters.java:15560
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:15161
boolean getExploitBestSolution()
Definition: SatParameters.java:5123
long getMaxMemoryInMb()
Definition: SatParameters.java:12351
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:14310
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2401
int getPbCleanupIncrement()
Definition: SatParameters.java:10875
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1854
long getProbingPeriodAtRoot()
Definition: SatParameters.java:5179
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:9478
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:14732
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4482
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11950
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:16250
boolean getExpandTableConstraints()
Definition: SatParameters.java:4078
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:12799
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:5741
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:9500
boolean hasRestartPeriod()
Definition: SatParameters.java:11675
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10029
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:4373
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:5597
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3321
int getCutCleanupTarget()
Definition: SatParameters.java:4965
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:16786
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11259
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12723
int getMaxNumCuts()
Definition: SatParameters.java:14582
Builder clearUsePhaseSaving()
Definition: SatParameters.java:10119
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:5154
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:5127
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10460
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:7139
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:11360
boolean getUsePbResolution()
Definition: SatParameters.java:12603
boolean getUseOptionalVariables()
Definition: SatParameters.java:17267
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1465
boolean hasCutCleanupTarget()
Definition: SatParameters.java:15407
boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:4910
Builder clearExpandTableConstraints()
Definition: SatParameters.java:13575
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11393
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4332
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1983
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:15391
boolean hasLinearizationLevel()
Definition: SatParameters.java:14446
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3173
Builder clearUsePbResolution()
Definition: SatParameters.java:12635
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4096
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:15381
boolean hasUseLnsOnly()
Definition: SatParameters.java:16869
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:4697
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2983
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:8494
int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:13274
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:5583
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:16421
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2819
Builder clearOptimizeWithCore()
Definition: SatParameters.java:16019
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3746
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11837
Builder clearUseExactLpReason()
Definition: SatParameters.java:17362
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3978
Builder clearMipMaxBound()
Definition: SatParameters.java:17667
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1193
boolean getExploitAllLpSolution()
Definition: SatParameters.java:15696
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2382
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2124
long getMaxNumberOfConflicts()
Definition: SatParameters.java:12282
final int getNumber()
Definition: SatParameters.java:1546
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:5307
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:11785
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1331
boolean hasUseRinsLns()
Definition: SatParameters.java:5689
int getBinarySearchNumConflicts()
Definition: SatParameters.java:5268
boolean getExpandTableConstraints()
Definition: SatParameters.java:13547
boolean hasOptimizeWithCore()
Definition: SatParameters.java:5223
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:17791
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:11266
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:14990
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:14254
int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:16676
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:15486
boolean hasExploitObjective()
Definition: SatParameters.java:5138
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:17988
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:18003
double getMipMaxBound()
Definition: SatParameters.java:6019
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:14952
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:12245
boolean getShareObjectiveBounds()
Definition: SatParameters.java:5608
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:10233
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1574
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3086
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11386
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3684
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2542
boolean hasExploitBestSolution()
Definition: SatParameters.java:5112
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:16389
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:12859
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:16721
Builder clearHintConflictLimit()
Definition: SatParameters.java:15600
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10042
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2343
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3315
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2627
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3605
double getMaxDeterministicTime()
Definition: SatParameters.java:3446
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4040
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:9494
PROTECTION_ALWAYS
Definition: SatParameters.java:1509
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:14891
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:13149
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1323
boolean hasCoverOptimization()
Definition: SatParameters.java:4257
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:13746
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:16474
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:15263
boolean getAddMirCuts()
Definition: SatParameters.java:14818
Builder clearAddMirCuts()
Definition: SatParameters.java:14846
int getRestartAlgorithmsCount()
Definition: SatParameters.java:3105
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:13131
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:13341
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2376
boolean getAddLinMaxCuts()
Definition: SatParameters.java:14938
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:10692
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3128
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4631
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:3854
Builder clearUseImpliedBounds()
Definition: SatParameters.java:17606
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2996
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3361
HINT_SEARCH
Definition: SatParameters.java:2223
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:4996
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:16694
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:12556
int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:5558
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:12899
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:10294
boolean hasMinimizeCore()
Definition: SatParameters.java:4204
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2735
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:11247
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:15007
int getMaxPresolveIterations()
Definition: SatParameters.java:13162
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1292
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:13302
boolean hasCpModelPresolve()
Definition: SatParameters.java:13208
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2887
Builder clearMinimizeCore()
Definition: SatParameters.java:13864
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1834
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11862
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:15683
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:16038
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3332
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:10310
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:10848
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5015
boolean hasNumSearchWorkers()
Definition: SatParameters.java:16548
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5102
boolean getOptimizeWithCore()
Definition: SatParameters.java:15987
Builder clearUseRelaxationLns()
Definition: SatParameters.java:17053
int getMipMaxActivityExponent()
Definition: SatParameters.java:17852
Builder clearExploitObjective()
Definition: SatParameters.java:15836
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:14656
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:11654
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:14077
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2104
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3636
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1963
boolean getExploitAllLpSolution()
Definition: SatParameters.java:5098
Builder clearInterleaveSearch()
Definition: SatParameters.java:16657
boolean getUsePhaseSaving()
Definition: SatParameters.java:10081
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:13013
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10467
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:12884
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3762
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:17468
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2687
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:10477
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:5797
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5818
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4111
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:4776
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3384
STRATIFICATION_DESCENT
Definition: SatParameters.java:2032
double getInitialVariablesActivity()
Definition: SatParameters.java:2573
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5612
final int getNumber()
Definition: SatParameters.java:1409
Builder setMipVarScaling(double value)
Definition: SatParameters.java:17712
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:17038
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:16067
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4121
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:17441
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4685
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2465
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:5965
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2794
boolean getCoverOptimization()
Definition: SatParameters.java:4269
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4969
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:15633
boolean getAddCgCuts()
Definition: SatParameters.java:4654
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:11825
Builder clearCatchSigintSignal()
Definition: SatParameters.java:17545
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:11441
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10938
boolean hasCutCleanupTarget()
Definition: SatParameters.java:4954
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1376
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4614
int getHintConflictLimit()
Definition: SatParameters.java:5038
boolean getUsePbResolution()
Definition: SatParameters.java:3632
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:12028
int getRestartRunningWindowSize()
Definition: SatParameters.java:11742
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1209
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1173
boolean hasStopAfterPresolve()
Definition: SatParameters.java:16491
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:5429
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:3999
.lang.Override int getSerializedSize()
Definition: SatParameters.java:6584
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:10597
Builder clearUseBranchingInLp()
Definition: SatParameters.java:17423
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3718
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:13052
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:5206
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:18008
Builder clearCpModelPresolve()
Definition: SatParameters.java:13245
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:8558
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2213
boolean getInterleaveSearch()
Definition: SatParameters.java:16623
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:10448
boolean hasMinimizeCore()
Definition: SatParameters.java:13827
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4003
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1767
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:960
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:15293
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2659
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5375
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:12196
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:14007
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1459
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:10650
double getMipWantedPrecision()
Definition: SatParameters.java:6089
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:12842
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:2965
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:17890
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2313
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:4894
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13671
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:5704
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:10519
boolean hasCoverOptimization()
Definition: SatParameters.java:13938
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:11401
int getRestartPeriod()
Definition: SatParameters.java:3196
double getClauseActivityDecay()
Definition: SatParameters.java:3038
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1717
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:11844
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1874
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:5847
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2395
Builder clearLinearizationLevel()
Definition: SatParameters.java:14492
Builder setMipMaxBound(double value)
Definition: SatParameters.java:17651
boolean hasClauseActivityDecay()
Definition: SatParameters.java:11337
double getClauseActivityDecay()
Definition: SatParameters.java:11348
static Polarity forNumber(int value)
Definition: SatParameters.java:1181
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:10170
boolean hasExpandElementConstraints()
Definition: SatParameters.java:13425
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2832
STRATIFICATION_NONE
Definition: SatParameters.java:2023
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2989
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:16356
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:10331
boolean hasUseRelaxationLns()
Definition: SatParameters.java:5715
PROTECTION_NONE
Definition: SatParameters.java:1501
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:16853
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:16918
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:10791
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2430
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:5042
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:5485
Builder setRestartPeriod(int value)
Definition: SatParameters.java:11700
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:13408
int getPresolveBvaThreshold()
Definition: SatParameters.java:3868
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4377
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:11125
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:14968
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:13231
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11935
Builder setRandomSeed(int value)
Definition: SatParameters.java:12498
boolean hasHintConflictLimit()
Definition: SatParameters.java:5026
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4412
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3872
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:10913
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:12444
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4132
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:954
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3450
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:16763
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:14179
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:10012
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:11296
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:4881
Definition: SatParameters.java:1244
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2414
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:4325
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3000
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2347
boolean hasMaxNumCuts()
Definition: SatParameters.java:14568
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:10901
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:15765
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:13644
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:16710
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:12075
FIXED_SEARCH
Definition: SatParameters.java:2175
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2836
int getHintConflictLimit()
Definition: SatParameters.java:15572
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1219
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:13656
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:4163
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4486
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2353
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:17983
double getCutMaxActiveCountValue()
Definition: SatParameters.java:15324
boolean getUseRelaxationLns()
Definition: SatParameters.java:5727
boolean hasFindMultipleCores()
Definition: SatParameters.java:13881
int getMaxNumCuts()
Definition: SatParameters.java:4571
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:12683
boolean getPresolveBlockedClause()
Definition: SatParameters.java:3812
int getRestartRunningWindowSize()
Definition: SatParameters.java:3221
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1945
boolean getPresolveBlockedClause()
Definition: SatParameters.java:12985
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3269
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:17281
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:5668
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3667
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2608
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8532
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:5675
boolean hasUseBlockingRestart()
Definition: SatParameters.java:11880
LUBY_RESTART
Definition: SatParameters.java:1759
double getMaxDeterministicTime()
Definition: SatParameters.java:12211
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:15897
double getGlucoseMaxDecay()
Definition: SatParameters.java:2979
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:8554
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2389
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:17835
boolean hasRandomSeed()
Definition: SatParameters.java:3560
Builder clearPresolveUseBva()
Definition: SatParameters.java:13066
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4586
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1040
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:12087
LP_SEARCH
Definition: SatParameters.java:2193
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11942
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:14237
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:17529
Builder clearExploitBestSolution()
Definition: SatParameters.java:15779
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4115
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2775
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:15821
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3485
int getMaxAllDiffCutSize()
Definition: SatParameters.java:4710
boolean hasAddCgCuts()
Definition: SatParameters.java:14749
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:15461
boolean getRandomizeSearch()
Definition: SatParameters.java:5777
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:8897
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1327
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:11960
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:8515
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:12700
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:11157
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2825
long getMaxMemoryInMb()
Definition: SatParameters.java:3512
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8499
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:13371
boolean getExploitObjective()
Definition: SatParameters.java:15808
int getNewConstraintsBatchSize()
Definition: SatParameters.java:15473
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:9515
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8509
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2604
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:13997
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:15232
long getSearchRandomizationTolerance()
Definition: SatParameters.java:5814
boolean getAddKnapsackCuts()
Definition: SatParameters.java:4627
long getMaxNumberOfConflicts()
Definition: SatParameters.java:3481
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:11068
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2781
boolean hasRandomizeSearch()
Definition: SatParameters.java:17122
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:16299
boolean getCatchSigintSignal()
Definition: SatParameters.java:5961
boolean getCpModelPresolve()
Definition: SatParameters.java:3922
boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:5551
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:10806
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:15914
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:16281
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:11907
int getBinarySearchNumConflicts()
Definition: SatParameters.java:16052
int getBooleanEncodingLevel()
Definition: SatParameters.java:4540
double getMipCheckPrecision()
Definition: SatParameters.java:6157
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:5002
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2804
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:13192
boolean getAddMirCuts()
Definition: SatParameters.java:4681
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2577
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:4319
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:10736
boolean hasRandomizeSearch()
Definition: SatParameters.java:5766
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2513
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:12781
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:11230
Builder clearClauseActivityDecay()
Definition: SatParameters.java:11374
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2702
int getClauseCleanupLbdBound()
Definition: SatParameters.java:2771
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:4315
boolean hasRandomSeed()
Definition: SatParameters.java:12465
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:14106