Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
149 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
161 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
173 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
250 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
327 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
344 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
376 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
393 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
405 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
423 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
536 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
854 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
860 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
862 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1233 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1355 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
1855 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
1990 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2227 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2244 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2441 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2443 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2444 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2458 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2460 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2461 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2554 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2555 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2596 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2597 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
2846 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
2851 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
2852 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
2869 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
2871 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
3835 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
3836 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
3875 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
3877 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
3878 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
4387 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
4388 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
5894 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
6219 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
6232 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
6271 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
6276 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
6366 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
6399 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
6419 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
6439 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
6509 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
6518 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
6523 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
6528 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
6533 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
6588 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
6628 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
6653 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
6663 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
6723 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
7397 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
7458 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7464 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
7466 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
7543 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
7729 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8031 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
8037 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
8493 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
8496 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
8499 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
8690 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
8696 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
8727 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
9138 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
9140 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
9141 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
9146 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
9175 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
9177 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
9178 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
9183 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
9374 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
9375 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
9380 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
9463 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
9464 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
9469 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
10018 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
10020 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
10053 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
10094 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
10147 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
12045 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
12047 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
12048 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
12053 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
12134 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
12136 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
12137 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
12142 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
13193 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
13194 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
13199 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
boolean getLogSearchProgress()
Definition: SatParameters.java:11025
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:7424
double getMipWantedPrecision()
Definition: SatParameters.java:14956
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2843
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1192
boolean hasRandomSeed()
Definition: SatParameters.java:3308
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:5001
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3424
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12092
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:949
double getMaxTimeInSeconds()
Definition: SatParameters.java:3170
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:13799
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2623
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9900
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10520
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1298
Definition: Constraint.java:14
FIXED_SEARCH
Definition: SatParameters.java:2020
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2283
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:5317
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1723
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:8864
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:4917
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3238
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:11316
double getInitialVariablesActivity()
Definition: SatParameters.java:9028
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12193
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:11741
boolean hasAddMirCuts()
Definition: SatParameters.java:4191
boolean getRandomizeSearch()
Definition: SatParameters.java:4982
Builder clearDeterministicParallelSearch()
Definition: SatParameters.java:14127
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2178
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13191
double getMipCheckPrecision()
Definition: SatParameters.java:5311
boolean getCatchSigintSignal()
Definition: SatParameters.java:5154
boolean getExploitAllLpSolution()
Definition: SatParameters.java:4443
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:7364
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3482
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:14974
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10549
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4021
int getPresolveBveClauseWeight()
Definition: SatParameters.java:11327
int getRandomSeed()
Definition: SatParameters.java:3323
boolean hasMinimizeCore()
Definition: SatParameters.java:3758
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3085
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9213
Builder clearExploitObjective()
Definition: SatParameters.java:13427
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4729
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1314
final int getNumber()
Definition: SatParameters.java:1533
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12405
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:9444
Builder clearMipCheckPrecision()
Definition: SatParameters.java:15127
final int getNumber()
Definition: SatParameters.java:2140
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:4865
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3875
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:13271
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8688
final int getNumber()
Definition: SatParameters.java:1056
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9146
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:14468
final int getNumber()
Definition: SatParameters.java:1687
long getSearchRandomizationTolerance()
Definition: SatParameters.java:14484
Builder setMipVarScaling(double value)
Definition: SatParameters.java:14900
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:13959
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3649
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12666
boolean hasUseExactLpReason()
Definition: SatParameters.java:5060
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:4403
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5021
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8725
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9989
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9158
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1096
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:9408
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:4264
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:8249
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4306
long getMaxInactiveCount()
Definition: SatParameters.java:13097
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:13557
static final int DETERMINISTIC_PARALLEL_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4806
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1826
boolean hasUseBranchingInLp()
Definition: SatParameters.java:14652
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9672
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:8898
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1574
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:12014
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1834
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1711
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2048
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:4359
int getLinearizationLevel()
Definition: SatParameters.java:12473
boolean getExploitObjective()
Definition: SatParameters.java:13402
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:11548
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4391
boolean hasLogSearchProgress()
Definition: SatParameters.java:11015
boolean getUseOptionalVariables()
Definition: SatParameters.java:5044
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13869
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:11911
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:13149
Definition: SatParameters.java:1131
HINT_SEARCH
Definition: SatParameters.java:2068
boolean hasUsePbResolution()
Definition: SatParameters.java:11066
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:10614
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2493
int getPresolveBveThreshold()
Definition: SatParameters.java:11273
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:4940
double getMaxDeterministicTime()
Definition: SatParameters.java:10717
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2441
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:13413
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3897
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2458
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:9516
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:9355
boolean hasUseExactLpReason()
Definition: SatParameters.java:14593
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1800
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:10703
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10628
boolean hasLinearizationLevel()
Definition: SatParameters.java:4033
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9226
boolean hasInterleaveSearch()
Definition: SatParameters.java:14029
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1218
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1326
double getRandomPolarityRatio()
Definition: SatParameters.java:8850
boolean hasCoverOptimization()
Definition: SatParameters.java:11992
static final int CONSTRAINT_REMOVAL_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4349
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:5115
int getMaxPresolveIterations()
Definition: SatParameters.java:3622
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:11338
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:4625
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:15180
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12128
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1020
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4516
final int getNumber()
Definition: SatParameters.java:1169
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4675
Builder clearMipWantedPrecision()
Definition: SatParameters.java:14995
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2795
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:13768
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1463
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:14676
Builder clearCoverOptimization()
Definition: SatParameters.java:12028
PROTECTION_LBD
Definition: SatParameters.java:1392
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12142
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4140
int getRestartRunningWindowSize()
Definition: SatParameters.java:10293
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:11751
Definition: SatParameters.java:1865
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:13312
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9660
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2594
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8708
Builder clearMinimizeCore()
Definition: SatParameters.java:11924
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1265
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8265
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:10669
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:5158
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12265
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11244
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:12990
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:4374
boolean hasOptimizeWithCore()
Definition: SatParameters.java:13497
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9862
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:10645
boolean hasMipWantedPrecision()
Definition: SatParameters.java:5229
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:14747
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3391
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:14142
boolean hasMaxInactiveCount()
Definition: SatParameters.java:13086
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:10816
boolean hasExploitObjective()
Definition: SatParameters.java:13391
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2192
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:919
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3095
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:4829
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1804
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:4879
int getMaxNumCuts()
Definition: SatParameters.java:12585
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3132
boolean hasNumSearchWorkers()
Definition: SatParameters.java:13975
int getBooleanEncodingLevel()
Definition: SatParameters.java:4071
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1541
Builder clearConstraintRemovalBatchSize()
Definition: SatParameters.java:13174
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:8881
double getMipMaxBound()
Definition: SatParameters.java:5181
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:9319
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:14190
double getClauseActivityDecay()
Definition: SatParameters.java:2824
boolean getUseErwaHeuristic()
Definition: SatParameters.java:2364
PROTECTION_ALWAYS
Definition: SatParameters.java:1384
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:8922
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:13599
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10592
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:13583
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:14788
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:853
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:10731
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:13053
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:11716
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4505
Builder clearMaxNumCuts()
Definition: SatParameters.java:12614
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3869
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3518
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3174
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:12915
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:12812
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:10834
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2152
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:7353
long getSearchRandomizationTolerance()
Definition: SatParameters.java:5017
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:959
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:7733
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:4748
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:13687
boolean hasUseLnsOnly()
Definition: SatParameters.java:14238
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2828
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1469
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14303
long getMaxNumberOfConflicts()
Definition: SatParameters.java:10783
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3547
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9132
int getPresolveBvaThreshold()
Definition: SatParameters.java:3595
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2731
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3023
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:9043
boolean getUseBlockingRestart()
Definition: SatParameters.java:3061
Builder clearUsePhaseSaving()
Definition: SatParameters.java:8817
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:10332
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:13649
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1580
int getPbCleanupIncrement()
Definition: SatParameters.java:2619
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3497
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9770
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:10561
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:3772
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:8271
boolean getAddMirCuts()
Definition: SatParameters.java:4202
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12053
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3456
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:13634
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:12652
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:2869
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13911
boolean hasCpModelPresolve()
Definition: SatParameters.java:3635
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1330
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4181
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:9529
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2568
Builder clearPresolveUseBva()
Definition: SatParameters.java:11504
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:4738
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9455
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3278
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3158
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9552
boolean hasUseOptionalVariables()
Definition: SatParameters.java:5032
boolean getDiversifyLnsParams()
Definition: SatParameters.java:14376
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3881
Builder clearExploitBestSolution()
Definition: SatParameters.java:13375
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12388
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:9270
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:8836
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1455
long getMaxMemoryInMb()
Definition: SatParameters.java:3263
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10488
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9764
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:13997
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:12929
int getRestartRunningWindowSize()
Definition: SatParameters.java:2994
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:13288
boolean hasUseLnsOnly()
Definition: SatParameters.java:4888
boolean getAddKnapsackCuts()
Definition: SatParameters.java:4152
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:14386
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9868
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:13006
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:4592
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:9239
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1429
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2325
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2430
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2341
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:13782
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:13619
final int getNumber()
Definition: SatParameters.java:1421
boolean getDiversifyLnsParams()
Definition: SatParameters.java:4959
Builder clearUseOptionalVariables()
Definition: SatParameters.java:14575
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2692
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:7397
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:12598
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:14200
boolean getExploitAllLpSolution()
Definition: SatParameters.java:13300
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5185
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3049
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9894
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2502
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:9845
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:13882
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3951
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:10368
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4902
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:11285
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12065
boolean getAddCgCuts()
Definition: SatParameters.java:12749
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:11035
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10157
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3118
double getRestartDlAverageRatio()
Definition: SatParameters.java:3019
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2296
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2746
CLAUSE_ACTIVITY
Definition: SatParameters.java:1504
double getRandomBranchesRatio()
Definition: SatParameters.java:2337
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:10798
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7415
boolean getPresolveUseBva()
Definition: SatParameters.java:3566
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3091
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:13717
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:3864
Builder clearRandomSeed()
Definition: SatParameters.java:11000
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9540
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:10876
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3932
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:5327
int getRandomSeed()
Definition: SatParameters.java:10967
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:10932
.lang.Override int getSerializedSize()
Definition: SatParameters.java:5687
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2263
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9980
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14294
Builder clearUseOptimizationHints()
Definition: SatParameters.java:11876
boolean getUseErwaHeuristic()
Definition: SatParameters.java:8966
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14288
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10175
boolean hasUsePhaseSaving()
Definition: SatParameters.java:8766
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:4431
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3522
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4379
boolean hasMipWantedPrecision()
Definition: SatParameters.java:14938
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12039
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2452
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:9430
boolean getExploitBestSolution()
Definition: SatParameters.java:4466
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2526
boolean hasRandomizeSearch()
Definition: SatParameters.java:4972
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4495
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:13327
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1092
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12154
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9546
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9877
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:11764
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:11261
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:12540
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10151
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:14175
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:4607
int getRestartAlgorithmsCount()
Definition: SatParameters.java:10036
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2801
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:4611
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4000
boolean getUseExactLpReason()
Definition: SatParameters.java:5073
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:4907
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13025
boolean getInterleaveSearch()
Definition: SatParameters.java:14042
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:11152
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:4875
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2588
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:10917
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11368
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:12977
STRATIFICATION_ASCENT
Definition: SatParameters.java:1894
static VariableOrder forNumber(int value)
Definition: SatParameters.java:923
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10473
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:10441
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:14258
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3860
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3404
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13199
double getMaxDeterministicTime()
Definition: SatParameters.java:3201
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:13754
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:3749
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:11224
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9372
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2368
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3472
boolean getFindMultipleCores()
Definition: SatParameters.java:11951
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12280
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:4700
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:13138
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:4260
boolean getUseMirRounding()
Definition: SatParameters.java:12855
Builder setRestartPeriod(int value)
Definition: SatParameters.java:10254
boolean getExpandElementConstraints()
Definition: SatParameters.java:11791
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:5104
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9909
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:13667
boolean hasRestartPeriod()
Definition: SatParameters.java:10232
boolean getExpandElementConstraints()
Definition: SatParameters.java:3716
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1012
boolean getInstantiateAllVariables()
Definition: SatParameters.java:4696
boolean hasCatchSigintSignal()
Definition: SatParameters.java:5142
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7390
double getRandomPolarityRatio()
Definition: SatParameters.java:2310
boolean hasMipMaxBound()
Definition: SatParameters.java:5169
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10070
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:9061
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3147
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:6174
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:945
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10499
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:14055
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3350
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1181
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13211
boolean hasExpandElementConstraints()
Definition: SatParameters.java:3705
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3028
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2913
Builder setRandomSeed(int value)
Definition: SatParameters.java:10982
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:7409
Builder clearUseExactLpReason()
Definition: SatParameters.java:14635
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:8259
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9974
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:4842
boolean hasMipCheckPrecision()
Definition: SatParameters.java:15085
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:9341
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3445
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3918
boolean hasUseRinsLns()
Definition: SatParameters.java:14318
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:2984
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1340
boolean getInterleaveSearch()
Definition: SatParameters.java:4802
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1969
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2225
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4644
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:14162
Builder setMaxInactiveCount(long value)
Definition: SatParameters.java:13108
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2805
boolean getCoverOptimization()
Definition: SatParameters.java:12003
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:859
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:12103
static Builder newBuilder()
Definition: SatParameters.java:7425
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4385
int getCpModelProbingLevel()
Definition: SatParameters.java:11693
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12630
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:8651
double getRestartDlAverageRatio()
Definition: SatParameters.java:10343
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1106
int getMipMaxActivityExponent()
Definition: SatParameters.java:5282
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:13229
boolean hasAddMirCuts()
Definition: SatParameters.java:12790
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:12901
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:1939
int getLinearizationLevel()
Definition: SatParameters.java:4046
long getMaxNumberOfConflicts()
Definition: SatParameters.java:3234
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9666
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1566
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4129
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:11352
boolean getUsePhaseSaving()
Definition: SatParameters.java:8782
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3441
boolean getOptimizeWithCore()
Definition: SatParameters.java:13510
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:2758
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2780
boolean hasMaxNumCuts()
Definition: SatParameters.java:12572
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10505
boolean getUseLnsOnly()
Definition: SatParameters.java:14248
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:14720
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:4520
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1949
Builder clearMipMaxBound()
Definition: SatParameters.java:14859
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12230
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:13255
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2552
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2833
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2219
boolean getUseBlockingRestart()
Definition: SatParameters.java:10429
boolean hasMaxNumCuts()
Definition: SatParameters.java:4087
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2742
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:7747
int getBooleanEncodingLevel()
Definition: SatParameters.java:12529
int getPresolveBveClauseWeight()
Definition: SatParameters.java:3493
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:4640
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:10748
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3250
Builder clearUseLnsOnly()
Definition: SatParameters.java:14271
boolean hasMipMaxBound()
Definition: SatParameters.java:14820
boolean hasMinimizeCore()
Definition: SatParameters.java:11891
int getMaxPresolveIterations()
Definition: SatParameters.java:11593
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1443
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:7438
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:9944
Builder clearNumSearchWorkers()
Definition: SatParameters.java:14011
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:12722
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11190
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:11683
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3849
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:9968
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12442
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:13702
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:12554
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:7375
boolean hasUsePbResolution()
Definition: SatParameters.java:3362
double getVariableActivityDecay()
Definition: SatParameters.java:2727
Builder setConstraintRemovalBatchSize(long value)
Definition: SatParameters.java:13160
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:7385
boolean getUsePbResolution()
Definition: SatParameters.java:3375
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2677
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12176
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3076
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1570
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2681
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2214
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8656
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:8798
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:11731
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:4289
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:3797
double getMipWantedPrecision()
Definition: SatParameters.java:5247
Builder clearCpModelPresolve()
Definition: SatParameters.java:11668
boolean hasExploitBestSolution()
Definition: SatParameters.java:13342
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:13465
boolean hasNumSearchWorkers()
Definition: SatParameters.java:4762
boolean hasUseRinsLns()
Definition: SatParameters.java:4926
Builder clearMipVarScaling()
Definition: SatParameters.java:14915
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3672
Builder clearUseBranchingInLp()
Definition: SatParameters.java:14691
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1840
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11168
int getNumSearchWorkers()
Definition: SatParameters.java:4773
int getClauseCleanupPeriod()
Definition: SatParameters.java:9280
boolean getUsePhaseSaving()
Definition: SatParameters.java:2279
.lang.Override Builder toBuilder()
Definition: SatParameters.java:7432
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:953
int getClauseCleanupLbdBound()
Definition: SatParameters.java:2579
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9461
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15134
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:15170
double getInitialVariablesActivity()
Definition: SatParameters.java:2397
Builder clearCatchSigintSignal()
Definition: SatParameters.java:14803
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:13926
PORTFOLIO_SEARCH
Definition: SatParameters.java:2028
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4833
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1261
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11379
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1737
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:10316
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9195
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:4370
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2435
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9121
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1731
boolean getAddCgCuts()
Definition: SatParameters.java:4177
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1064
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4777
PROTECTION_NONE
Definition: SatParameters.java:1376
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:14223
boolean getUseBranchingInLp()
Definition: SatParameters.java:5100
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10479
boolean getUseRinsLns()
Definition: SatParameters.java:4936
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1975
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2696
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2058
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:3720
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10094
Builder clearRestartAlgorithms()
Definition: SatParameters.java:10140
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10212
int getClauseCleanupTarget()
Definition: SatParameters.java:9330
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:7428
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:14732
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:11605
boolean hasCoverOptimization()
Definition: SatParameters.java:3807
FIXED_RESTART
Definition: SatParameters.java:1646
boolean hasVariableActivityDecay()
Definition: SatParameters.java:2711
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8719
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3122
int getPresolveBvaThreshold()
Definition: SatParameters.java:11535
int getPbCleanupIncrement()
Definition: SatParameters.java:9506
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:14210
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2686
Builder setMipMaxBound(double value)
Definition: SatParameters.java:14844
boolean hasCatchSigintSignal()
Definition: SatParameters.java:14764
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:13936
boolean getCoverOptimization()
Definition: SatParameters.java:3818
boolean getLogSearchProgress()
Definition: SatParameters.java:3346
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9606
int getCpModelProbingLevel()
Definition: SatParameters.java:3668
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12250
boolean hasClauseActivityDecay()
Definition: SatParameters.java:9924
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7379
boolean hasCpModelPresolve()
Definition: SatParameters.java:11635
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:7728
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4549
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13454
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:15067
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9169
boolean hasLogSearchProgress()
Definition: SatParameters.java:3336
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:15048
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8243
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12641
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:3610
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2628
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:4986
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1204
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:13851
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14282
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1459
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:9888
boolean hasUseBlockingRestart()
Definition: SatParameters.java:10417
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1302
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2314
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:15016
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:14500
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:7457
boolean hasMipVarScaling()
Definition: SatParameters.java:5196
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2476
final int getNumber()
Definition: SatParameters.java:1792
double getRandomBranchesRatio()
Definition: SatParameters.java:8910
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2413
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9586
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:933
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2600
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1965
static final int USE_MIR_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:4206
boolean hasRandomizeSearch()
Definition: SatParameters.java:14414
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2541
int getNumSearchWorkers()
Definition: SatParameters.java:13986
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:121
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7369
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13479
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1695
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:7463
boolean hasAddCgCuts()
Definition: SatParameters.java:4166
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2447
Builder clearUseMirRounding()
Definition: SatParameters.java:12882
Builder clearAddMirCuts()
Definition: SatParameters.java:12826
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3065
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1433
Builder setUseMirRounding(boolean value)
Definition: SatParameters.java:12867
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:9496
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:12707
Builder clearRestartPeriod()
Definition: SatParameters.java:10268
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:12210
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15140
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:11420
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:10893
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9092
boolean getPresolveUseBva()
Definition: SatParameters.java:11481
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2638
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:4561
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:114
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9255
IN_ORDER
Definition: SatParameters.java:882
int getPresolveBveThreshold()
Definition: SatParameters.java:3468
CLAUSE_LBD
Definition: SatParameters.java:1512
boolean hasVariableActivityDecay()
Definition: SatParameters.java:9702
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:11456
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3695
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9681
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:14519
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:4246
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1208
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2937
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:11442
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2382
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2352
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:5251
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4156
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3143
boolean getMinimizeCore()
Definition: SatParameters.java:3768
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:7738
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4963
final int getNumber()
Definition: SatParameters.java:1290
double getGlucoseMaxDecay()
Definition: SatParameters.java:9816
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12318
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12422
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3034
Builder clearLinearizationLevel()
Definition: SatParameters.java:12502
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:11491
Builder clearUseBlockingRestart()
Definition: SatParameters.java:10456
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:4578
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11207
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3827
Builder clearExpandElementConstraints()
Definition: SatParameters.java:11816
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8696
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1630
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4293
boolean hasFindMultipleCores()
Definition: SatParameters.java:11940
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2166
boolean getOptimizeWithCore()
Definition: SatParameters.java:4545
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5212
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3507
int getClauseCleanupLbdBound()
Definition: SatParameters.java:9419
Builder clearLogSearchProgress()
Definition: SatParameters.java:11048
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4447
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:12518
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3219
int getMaxNumCuts()
Definition: SatParameters.java:4100
Builder clearInterleaveSearch()
Definition: SatParameters.java:14071
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:15155
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:10684
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3408
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:12760
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:11620
boolean getUseOptimizationHints()
Definition: SatParameters.java:11847
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:14399
boolean hasExpandElementConstraints()
Definition: SatParameters.java:11780
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:10303
int getRestartAlgorithmsCount()
Definition: SatParameters.java:2887
double getMipVarScaling()
Definition: SatParameters.java:5208
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9183
long getMaxMemoryInMb()
Definition: SatParameters.java:10847
int getBinarySearchNumConflicts()
Definition: SatParameters.java:13570
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4075
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2464
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:3681
boolean hasInterleaveSearch()
Definition: SatParameters.java:4789
long getMaxInactiveCount()
Definition: SatParameters.java:4345
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3822
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3570
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:3965
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:11962
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:13362
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8682
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2998
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11404
final int getNumber()
Definition: SatParameters.java:1927
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:14560
static final int MAX_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:4324
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:4416
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4856
boolean getCatchSigintSignal()
Definition: SatParameters.java:14776
boolean hasRestartPeriod()
Definition: SatParameters.java:2960
boolean getCpModelPresolve()
Definition: SatParameters.java:3645
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1699
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:12946
boolean hasExploitBestSolution()
Definition: SatParameters.java:4456
int getRestartPeriod()
Definition: SatParameters.java:2971
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4050
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:13837
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:4276
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:9803
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4725
boolean getFindMultipleCores()
Definition: SatParameters.java:3793
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:14100
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:4685
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1177
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2919
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:15175
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:14619
int getRestartPeriod()
Definition: SatParameters.java:10243
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:3658
static Polarity forNumber(int value)
Definition: SatParameters.java:1068
Builder clearVariableActivityDecay()
Definition: SatParameters.java:9753
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2489
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2950
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:10354
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:12964
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:4752
boolean getUseBranchingInLp()
Definition: SatParameters.java:14664
boolean hasRandomSeed()
Definition: SatParameters.java:10952
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3379
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13039
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1080
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9481
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:13815
boolean hasUseOptimizationHints()
Definition: SatParameters.java:3732
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8733
boolean hasUseOptionalVariables()
Definition: SatParameters.java:14536
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12081
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:9105
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:8954
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12298
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4104
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:13242
Builder clearMaxInactiveCount()
Definition: SatParameters.java:13122
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3327
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3599
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2516
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:11802
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2609
Builder clearFindMultipleCores()
Definition: SatParameters.java:11976
Builder clearUseRinsLns()
Definition: SatParameters.java:14351
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:11564
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11139
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:11581
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10603
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10511
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:5048
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:13735
AUTOMATIC_SEARCH
Definition: SatParameters.java:2010
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12134
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:9856
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:10905
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:11703
LUBY_RESTART
Definition: SatParameters.java:1622
Builder clearUsePbResolution()
Definition: SatParameters.java:11108
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:10283
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9776
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:14708
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13070
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3205
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3532
boolean hasFindMultipleCores()
Definition: SatParameters.java:3782
boolean getUsePbResolution()
Definition: SatParameters.java:11079
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1212
boolean hasLinearizationLevel()
Definition: SatParameters.java:12460
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2231
boolean getShareObjectiveBounds()
Definition: SatParameters.java:14152
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:12486
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2775
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:15111
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7402
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:8937
boolean hasMipCheckPrecision()
Definition: SatParameters.java:5298
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:2904
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9785
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1830
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9561
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:3980
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3290
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:10018
boolean hasOptimizeWithCore()
Definition: SatParameters.java:4532
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9392
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:4913
boolean getExploitBestSolution()
Definition: SatParameters.java:13352
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1638
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2583
boolean hasUseMirRounding()
Definition: SatParameters.java:12843
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:5266
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:11300
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:1935
double getVariableActivityDecay()
Definition: SatParameters.java:9718
boolean hasUseBranchingInLp()
Definition: SatParameters.java:5088
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:8280
boolean getUseOptimizationHints()
Definition: SatParameters.java:3745
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4114
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:10860
double getMipMaxBound()
Definition: SatParameters.java:14832
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2248
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4060
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:5131
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9469
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:11655
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:14366
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:11390
Builder clearOptimizeWithCore()
Definition: SatParameters.java:13539
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11126
boolean hasPresolveUseBva()
Definition: SatParameters.java:11471
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:8254
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4320
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12117
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10400
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:4671
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2786
boolean getInstantiateAllVariables()
Definition: SatParameters.java:13826
.lang.Override Builder clear()
Definition: SatParameters.java:7485
double getClauseActivityDecay()
Definition: SatParameters.java:9934
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10576
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13443
boolean hasExploitObjective()
Definition: SatParameters.java:4480
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:8993
boolean hasClauseActivityDecay()
Definition: SatParameters.java:2814
boolean getUseExactLpReason()
Definition: SatParameters.java:14606
boolean getCpModelPresolve()
Definition: SatParameters.java:11645
double getGlucoseMaxDecay()
Definition: SatParameters.java:2771
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3106
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13185
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12333
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2839
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3267
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2558
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:13895
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1554
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:3691
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12366
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:9734
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:4657
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9175
.lang.Override Builder clone()
Definition: SatParameters.java:8239
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10467
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:4233
boolean getShareObjectiveBounds()
Definition: SatParameters.java:4852
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3626
double getMipVarScaling()
Definition: SatParameters.java:14888
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:8978
int getMipMaxActivityExponent()
Definition: SatParameters.java:15032
.lang.Override int hashCode()
Definition: SatParameters.java:6787
int getClauseCleanupTarget()
Definition: SatParameters.java:2537
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3080
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:10768
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:2975
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2148
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4017
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:15160
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2657
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:11860
STRATIFICATION_DESCENT
Definition: SatParameters.java:1883
boolean hasMipVarScaling()
Definition: SatParameters.java:14876
boolean getExploitObjective()
Definition: SatParameters.java:4491
boolean getAddMirCuts()
Definition: SatParameters.java:12801
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:12683
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1961
boolean hasMaxInactiveCount()
Definition: SatParameters.java:4334
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:4470
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10190
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:11092
boolean getPresolveBlockedClause()
Definition: SatParameters.java:11431
boolean getUseLnsOnly()
Definition: SatParameters.java:4898
boolean getUseMirRounding()
Definition: SatParameters.java:4229
Builder setDeterministicParallelSearch(boolean value)
Definition: SatParameters.java:14112
double getMaxTimeInSeconds()
Definition: SatParameters.java:10657
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:10053
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3008
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1257
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3070
boolean getMinimizeCore()
Definition: SatParameters.java:11901
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9366
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2182
final int getNumber()
Definition: SatParameters.java:911
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3038
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:9829
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9649
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:4817
STRATIFICATION_NONE
Definition: SatParameters.java:1874
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9138
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5286
boolean getAddKnapsackCuts()
Definition: SatParameters.java:12695
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:9013
boolean hasUseOptimizationHints()
Definition: SatParameters.java:11834
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10379
int getClauseCleanupPeriod()
Definition: SatParameters.java:2512
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:14434
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2634
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:13523
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10385
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3187
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2401
boolean getUseOptionalVariables()
Definition: SatParameters.java:14548
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3839
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2242
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2546
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4712
boolean getRandomizeSearch()
Definition: SatParameters.java:14424
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1334
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4420
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7358
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3947
Builder clearRandomizeSearch()
Definition: SatParameters.java:14447
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:14088
boolean getUseRinsLns()
Definition: SatParameters.java:14328
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:5077
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2426
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9380
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10203
double getMipCheckPrecision()
Definition: SatParameters.java:15098
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3984
int getBinarySearchNumConflicts()
Definition: SatParameters.java:4574
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2908
boolean hasAddCgCuts()
Definition: SatParameters.java:12738
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2186
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1727
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:9626
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:9290
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8745
Builder clearClauseActivityDecay()
Definition: SatParameters.java:9957
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:13946
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1545
Builder clearAddCgCuts()
Definition: SatParameters.java:12774
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2790
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:3582
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1814
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:5127
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12045
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10537
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3294
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:11522
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2236
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:4949
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9079
boolean hasPresolveUseBva()
Definition: SatParameters.java:3556
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:10117
boolean getPresolveBlockedClause()
Definition: SatParameters.java:3543
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:9303
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12348
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:14338
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3914
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2736
boolean hasUseMirRounding()
Definition: SatParameters.java:4217
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4125
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3833
LP_SEARCH
Definition: SatParameters.java:2038
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1100
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10391