Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
151 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
163 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
175 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
252 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
329 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
346 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
378 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
395 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
407 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
425 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
538 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
871 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
877 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
879 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1250 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1372 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
1872 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2007 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2244 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2261 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
2458 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
2460 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
2461 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
2475 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
2477 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
2478 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
2571 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
2572 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
2613 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
2614 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
2863 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
2868 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
2869 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
2886 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
2888 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
3875 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
3876 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
3915 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
3917 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
3918 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
4427 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
4428 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
5993 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
6330 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
6343 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
6382 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
6387 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
6477 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
6510 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
6530 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
6550 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
6625 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
6634 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
6639 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
6644 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
6649 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
6704 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
6749 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
6774 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
6784 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
6804 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
6849 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
7538 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
7599 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
7605 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
7607 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
7684 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
7876 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
8182 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
8188 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
8655 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
8658 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
8661 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
8858 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
8864 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
8895 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
9306 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
9308 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
9309 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
9314 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
9343 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
9345 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
9346 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
9351 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
9542 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
9543 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
9548 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
9631 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
9632 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
9637 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
10186 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
10188 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
10221 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
10262 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
10315 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
12261 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
12263 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
12264 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
12269 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
12350 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
12352 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
12353 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
12358 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
13409 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
13410 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
13415 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
boolean getLogSearchProgress()
Definition: SatParameters.java:11193
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:11999
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:7565
double getMipWantedPrecision()
Definition: SatParameters.java:15276
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2860
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1209
boolean hasRandomSeed()
Definition: SatParameters.java:3325
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:5091
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3441
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12308
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:966
double getMaxTimeInSeconds()
Definition: SatParameters.java:3187
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:14071
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2640
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10068
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10688
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1315
FIXED_SEARCH
Definition: SatParameters.java:2037
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2300
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:5407
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1740
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:9032
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:5007
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:3255
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:11484
double getInitialVariablesActivity()
Definition: SatParameters.java:9196
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12409
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:11909
boolean hasAddMirCuts()
Definition: SatParameters.java:4231
boolean getRandomizeSearch()
Definition: SatParameters.java:5072
Builder clearDeterministicParallelSearch()
Definition: SatParameters.java:14447
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2195
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13407
double getMipCheckPrecision()
Definition: SatParameters.java:5401
boolean getCatchSigintSignal()
Definition: SatParameters.java:5244
boolean getExploitAllLpSolution()
Definition: SatParameters.java:4483
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:7505
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:3499
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:15294
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10717
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4061
int getPresolveBveClauseWeight()
Definition: SatParameters.java:11495
int getRandomSeed()
Definition: SatParameters.java:3340
boolean hasMinimizeCore()
Definition: SatParameters.java:3798
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3102
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9381
Builder clearExploitObjective()
Definition: SatParameters.java:13643
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4796
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1331
final int getNumber()
Definition: SatParameters.java:1550
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12621
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:9612
Builder clearMipCheckPrecision()
Definition: SatParameters.java:15447
final int getNumber()
Definition: SatParameters.java:2157
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:4955
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3915
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:13487
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8856
final int getNumber()
Definition: SatParameters.java:1073
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9314
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:14788
final int getNumber()
Definition: SatParameters.java:1704
long getSearchRandomizationTolerance()
Definition: SatParameters.java:14804
Builder setMipVarScaling(double value)
Definition: SatParameters.java:15220
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:14231
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:3666
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12882
boolean hasUseExactLpReason()
Definition: SatParameters.java:5150
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:4443
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:5111
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8893
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10157
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9326
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1113
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:9576
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:4304
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:8408
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4346
long getMaxInactiveCount()
Definition: SatParameters.java:13313
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:13829
static final int DETERMINISTIC_PARALLEL_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4896
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1843
boolean hasUseBranchingInLp()
Definition: SatParameters.java:14972
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9840
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:9066
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1591
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:12230
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1851
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1728
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2065
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:4399
int getLinearizationLevel()
Definition: SatParameters.java:12689
boolean getExploitObjective()
Definition: SatParameters.java:13618
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:11716
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4431
boolean hasLogSearchProgress()
Definition: SatParameters.java:11183
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:13699
boolean getUseOptionalVariables()
Definition: SatParameters.java:5134
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:14141
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:12127
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:13365
Definition: SatParameters.java:1148
HINT_SEARCH
Definition: SatParameters.java:2085
boolean hasUsePbResolution()
Definition: SatParameters.java:11234
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:10782
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2510
int getPresolveBveThreshold()
Definition: SatParameters.java:11441
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:5030
double getMaxDeterministicTime()
Definition: SatParameters.java:10885
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2458
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:13629
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3937
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2475
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:9684
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:9523
boolean hasUseExactLpReason()
Definition: SatParameters.java:14913
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:1817
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:10871
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10796
boolean hasLinearizationLevel()
Definition: SatParameters.java:4073
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9394
boolean hasInterleaveSearch()
Definition: SatParameters.java:14301
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1235
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1343
double getRandomPolarityRatio()
Definition: SatParameters.java:9018
boolean hasCoverOptimization()
Definition: SatParameters.java:12208
static final int CONSTRAINT_REMOVAL_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:4389
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:5205
int getMaxPresolveIterations()
Definition: SatParameters.java:3639
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:11506
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:4692
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:15500
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12344
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1037
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4583
final int getNumber()
Definition: SatParameters.java:1186
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4742
Builder clearMipWantedPrecision()
Definition: SatParameters.java:15315
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2812
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:14040
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1480
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:14996
Builder clearCoverOptimization()
Definition: SatParameters.java:12244
PROTECTION_LBD
Definition: SatParameters.java:1409
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12358
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:4180
int getRestartRunningWindowSize()
Definition: SatParameters.java:10461
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:11919
Definition: SatParameters.java:1882
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:13528
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9828
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2611
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8876
Builder clearMinimizeCore()
Definition: SatParameters.java:12140
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1282
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8424
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:10837
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:5248
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12481
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11412
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:13206
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:4414
boolean hasOptimizeWithCore()
Definition: SatParameters.java:13769
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10030
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:10813
boolean hasMipWantedPrecision()
Definition: SatParameters.java:5319
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:15067
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3408
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:14462
boolean hasMaxInactiveCount()
Definition: SatParameters.java:13302
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:10984
boolean hasExploitObjective()
Definition: SatParameters.java:13607
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2209
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:936
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3112
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:4919
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:1821
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:4969
int getMaxNumCuts()
Definition: SatParameters.java:12801
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3149
boolean hasNumSearchWorkers()
Definition: SatParameters.java:14247
int getBooleanEncodingLevel()
Definition: SatParameters.java:4111
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1558
Builder clearConstraintRemovalBatchSize()
Definition: SatParameters.java:13390
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:9049
double getMipMaxBound()
Definition: SatParameters.java:5271
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:9487
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:14510
double getClauseActivityDecay()
Definition: SatParameters.java:2841
boolean getUseErwaHeuristic()
Definition: SatParameters.java:2381
PROTECTION_ALWAYS
Definition: SatParameters.java:1401
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:9090
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:13871
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10760
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:13855
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:15108
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:870
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:10899
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:13269
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:11884
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:4572
Builder clearMaxNumCuts()
Definition: SatParameters.java:12830
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:3909
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3535
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3191
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:13131
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:13028
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:11002
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2169
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:7494
long getSearchRandomizationTolerance()
Definition: SatParameters.java:5107
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:976
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:7880
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:4815
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:13959
boolean hasUseLnsOnly()
Definition: SatParameters.java:14558
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2845
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1486
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14623
long getMaxNumberOfConflicts()
Definition: SatParameters.java:10951
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:3564
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9300
int getPresolveBvaThreshold()
Definition: SatParameters.java:3612
boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:3746
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:2748
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3040
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:9211
boolean getUseBlockingRestart()
Definition: SatParameters.java:3078
Builder clearUsePhaseSaving()
Definition: SatParameters.java:8985
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:10500
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:13921
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1597
int getPbCleanupIncrement()
Definition: SatParameters.java:2636
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:3514
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9938
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:10729
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:3812
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:8430
boolean getAddMirCuts()
Definition: SatParameters.java:4242
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:12009
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12269
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:3473
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:13906
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:12868
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:2886
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:14183
boolean hasCpModelPresolve()
Definition: SatParameters.java:3652
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1347
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4221
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:9697
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:2585
Builder clearPresolveUseBva()
Definition: SatParameters.java:11672
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:4805
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9623
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:3295
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3175
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9720
boolean hasUseOptionalVariables()
Definition: SatParameters.java:5122
boolean getDiversifyLnsParams()
Definition: SatParameters.java:14696
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3921
Builder clearExploitBestSolution()
Definition: SatParameters.java:13591
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12604
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:9438
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:9004
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1472
long getMaxMemoryInMb()
Definition: SatParameters.java:3280
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10656
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9932
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:14269
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:13145
int getRestartRunningWindowSize()
Definition: SatParameters.java:3011
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:13504
boolean hasUseLnsOnly()
Definition: SatParameters.java:4978
boolean getAddKnapsackCuts()
Definition: SatParameters.java:4192
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:14706
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10036
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:13222
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:4659
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:9407
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1446
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2342
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2447
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2358
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:14054
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:13891
final int getNumber()
Definition: SatParameters.java:1438
boolean getDiversifyLnsParams()
Definition: SatParameters.java:5049
Builder clearUseOptionalVariables()
Definition: SatParameters.java:14895
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2709
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:7538
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:12814
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:14520
boolean getExploitAllLpSolution()
Definition: SatParameters.java:13516
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5275
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3066
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10062
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:2519
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:10013
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:14154
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3991
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:10536
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:4992
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:11453
long getProbingPeriodAtRoot()
Definition: SatParameters.java:13672
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12281
boolean getAddCgCuts()
Definition: SatParameters.java:12965
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:11203
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10325
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3135
double getRestartDlAverageRatio()
Definition: SatParameters.java:3036
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2313
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2763
CLAUSE_ACTIVITY
Definition: SatParameters.java:1521
double getRandomBranchesRatio()
Definition: SatParameters.java:2354
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:10966
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7556
boolean getPresolveUseBva()
Definition: SatParameters.java:3583
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3108
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:13989
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:3904
Builder clearRandomSeed()
Definition: SatParameters.java:11168
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9708
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:11044
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3972
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:5417
int getRandomSeed()
Definition: SatParameters.java:11135
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:11100
.lang.Override int getSerializedSize()
Definition: SatParameters.java:5786
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2280
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10148
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14614
Builder clearUseOptimizationHints()
Definition: SatParameters.java:12092
boolean getUseErwaHeuristic()
Definition: SatParameters.java:9134
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14608
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10343
boolean hasUsePhaseSaving()
Definition: SatParameters.java:8934
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:4471
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:3539
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4419
boolean hasMipWantedPrecision()
Definition: SatParameters.java:15258
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12255
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:2469
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:9598
boolean getExploitBestSolution()
Definition: SatParameters.java:4506
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:2543
boolean hasRandomizeSearch()
Definition: SatParameters.java:5062
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4562
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:13543
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1109
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12370
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9714
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10045
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:11932
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:11429
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:12756
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10319
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:14495
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:4674
int getRestartAlgorithmsCount()
Definition: SatParameters.java:10204
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:2818
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:4678
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4040
boolean getUseExactLpReason()
Definition: SatParameters.java:5163
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:4997
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13241
boolean getInterleaveSearch()
Definition: SatParameters.java:14314
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:11320
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:4965
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:2605
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:11085
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11536
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:13193
STRATIFICATION_ASCENT
Definition: SatParameters.java:1911
static VariableOrder forNumber(int value)
Definition: SatParameters.java:940
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10641
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:10609
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:14578
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3900
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:3421
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13415
double getMaxDeterministicTime()
Definition: SatParameters.java:3218
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:14026
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:3789
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:11392
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9540
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:2385
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:3489
boolean getFindMultipleCores()
Definition: SatParameters.java:12167
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12496
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:4767
boolean hasConstraintRemovalBatchSize()
Definition: SatParameters.java:13354
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:4300
boolean getUseMirRounding()
Definition: SatParameters.java:13071
Builder setRestartPeriod(int value)
Definition: SatParameters.java:10422
boolean getExpandElementConstraints()
Definition: SatParameters.java:11959
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:5194
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10077
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:13939
boolean hasRestartPeriod()
Definition: SatParameters.java:10400
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:4546
boolean getExpandElementConstraints()
Definition: SatParameters.java:3733
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1029
boolean getInstantiateAllVariables()
Definition: SatParameters.java:4763
boolean hasCatchSigintSignal()
Definition: SatParameters.java:5232
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7531
double getRandomPolarityRatio()
Definition: SatParameters.java:2327
boolean hasMipMaxBound()
Definition: SatParameters.java:5259
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10238
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:9229
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3164
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:6285
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:962
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10667
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:14327
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3367
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1198
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13427
boolean hasExpandElementConstraints()
Definition: SatParameters.java:3722
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3045
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2930
Builder setRandomSeed(int value)
Definition: SatParameters.java:11150
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:7550
Builder clearUseExactLpReason()
Definition: SatParameters.java:14955
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:8418
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10142
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:4932
boolean hasMipCheckPrecision()
Definition: SatParameters.java:15405
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:9509
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3462
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:3958
boolean hasUseRinsLns()
Definition: SatParameters.java:14638
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3001
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1357
boolean getInterleaveSearch()
Definition: SatParameters.java:4869
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1986
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2242
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4711
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:14482
Builder setMaxInactiveCount(long value)
Definition: SatParameters.java:13324
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2822
boolean getCoverOptimization()
Definition: SatParameters.java:12219
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:876
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:12319
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:14358
static Builder newBuilder()
Definition: SatParameters.java:7566
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:4425
int getCpModelProbingLevel()
Definition: SatParameters.java:11861
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12846
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:8819
double getRestartDlAverageRatio()
Definition: SatParameters.java:10511
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1123
int getMipMaxActivityExponent()
Definition: SatParameters.java:5372
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:13445
boolean hasAddMirCuts()
Definition: SatParameters.java:13006
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:13117
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:1956
int getLinearizationLevel()
Definition: SatParameters.java:4086
long getMaxNumberOfConflicts()
Definition: SatParameters.java:3251
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9834
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1583
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4169
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:11520
boolean getUsePhaseSaving()
Definition: SatParameters.java:8950
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:3458
boolean getOptimizeWithCore()
Definition: SatParameters.java:13782
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:2775
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2797
boolean hasMaxNumCuts()
Definition: SatParameters.java:12788
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10673
boolean getUseLnsOnly()
Definition: SatParameters.java:14568
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:15040
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:4587
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1966
Builder clearMipMaxBound()
Definition: SatParameters.java:15179
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12446
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:13471
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2569
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2850
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2236
boolean getUseBlockingRestart()
Definition: SatParameters.java:10597
boolean hasMaxNumCuts()
Definition: SatParameters.java:4127
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2759
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:7894
int getBooleanEncodingLevel()
Definition: SatParameters.java:12745
int getPresolveBveClauseWeight()
Definition: SatParameters.java:3510
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:4707
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:10916
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:3267
Builder clearUseLnsOnly()
Definition: SatParameters.java:14591
boolean hasMipMaxBound()
Definition: SatParameters.java:15140
boolean hasMinimizeCore()
Definition: SatParameters.java:12107
int getMaxPresolveIterations()
Definition: SatParameters.java:11761
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1460
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:7579
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:10112
Builder clearNumSearchWorkers()
Definition: SatParameters.java:14283
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:12938
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11358
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:11851
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:3889
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:10136
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:12658
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:13974
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:12770
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:7516
boolean hasUsePbResolution()
Definition: SatParameters.java:3379
double getVariableActivityDecay()
Definition: SatParameters.java:2744
Builder setConstraintRemovalBatchSize(long value)
Definition: SatParameters.java:13376
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:4892
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:7526
boolean getUsePbResolution()
Definition: SatParameters.java:3392
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2694
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:12392
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3093
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1587
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:2698
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2231
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:8824
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:8966
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:11899
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:4329
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:3837
double getMipWantedPrecision()
Definition: SatParameters.java:5337
Builder clearCpModelPresolve()
Definition: SatParameters.java:11836
boolean hasExploitBestSolution()
Definition: SatParameters.java:13558
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:13737
boolean hasNumSearchWorkers()
Definition: SatParameters.java:4829
boolean hasUseRinsLns()
Definition: SatParameters.java:5016
Builder clearMipVarScaling()
Definition: SatParameters.java:15235
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3689
Builder clearUseBranchingInLp()
Definition: SatParameters.java:15011
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1857
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11336
int getNumSearchWorkers()
Definition: SatParameters.java:4840
int getClauseCleanupPeriod()
Definition: SatParameters.java:9448
boolean getUsePhaseSaving()
Definition: SatParameters.java:2296
.lang.Override Builder toBuilder()
Definition: SatParameters.java:7573
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:970
int getClauseCleanupLbdBound()
Definition: SatParameters.java:2596
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9629
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15454
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:15490
double getInitialVariablesActivity()
Definition: SatParameters.java:2414
Builder clearCatchSigintSignal()
Definition: SatParameters.java:15123
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:14198
PORTFOLIO_SEARCH
Definition: SatParameters.java:2045
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4923
boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:3756
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1278
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:12032
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11547
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1754
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:10484
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9363
long getConstraintRemovalBatchSize()
Definition: SatParameters.java:4410
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:2452
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9289
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1748
boolean getAddCgCuts()
Definition: SatParameters.java:4217
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1081
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:4844
PROTECTION_NONE
Definition: SatParameters.java:1393
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:14543
boolean getUseBranchingInLp()
Definition: SatParameters.java:5190
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10647
boolean getUseRinsLns()
Definition: SatParameters.java:5026
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1992
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:2713
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2075
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:3760
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:10262
Builder clearRestartAlgorithms()
Definition: SatParameters.java:10308
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10380
int getClauseCleanupTarget()
Definition: SatParameters.java:9498
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:7569
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:15052
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:11773
boolean hasCoverOptimization()
Definition: SatParameters.java:3847
FIXED_RESTART
Definition: SatParameters.java:1663
boolean hasVariableActivityDecay()
Definition: SatParameters.java:2728
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8887
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3139
int getPresolveBvaThreshold()
Definition: SatParameters.java:11703
int getPbCleanupIncrement()
Definition: SatParameters.java:9674
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:14530
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:2703
Builder setMipMaxBound(double value)
Definition: SatParameters.java:15164
boolean hasCatchSigintSignal()
Definition: SatParameters.java:15084
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:14208
boolean getCoverOptimization()
Definition: SatParameters.java:3858
boolean getLogSearchProgress()
Definition: SatParameters.java:3363
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:12019
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9774
int getCpModelProbingLevel()
Definition: SatParameters.java:3685
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12466
boolean hasClauseActivityDecay()
Definition: SatParameters.java:10092
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7520
boolean hasCpModelPresolve()
Definition: SatParameters.java:11803
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:7875
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4616
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13726
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:15387
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9337
boolean hasLogSearchProgress()
Definition: SatParameters.java:3353
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:15368
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:8402
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:12857
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:3627
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2645
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:5076
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1221
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:14123
boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:14602
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1476
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:10056
boolean hasUseBlockingRestart()
Definition: SatParameters.java:10585
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1319
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2331
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:15336
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:14820
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:7598
boolean hasMipVarScaling()
Definition: SatParameters.java:5286
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2493
final int getNumber()
Definition: SatParameters.java:1809
double getRandomBranchesRatio()
Definition: SatParameters.java:9078
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2430
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9754
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:950
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2617
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:4535
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1982
static final int USE_MIR_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:4246
boolean hasRandomizeSearch()
Definition: SatParameters.java:14734
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:2558
int getNumSearchWorkers()
Definition: SatParameters.java:14258
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:123
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7510
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13751
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:1712
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:7604
boolean hasAddCgCuts()
Definition: SatParameters.java:4206
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:2464
Builder clearUseMirRounding()
Definition: SatParameters.java:13098
Builder clearAddMirCuts()
Definition: SatParameters.java:13042
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3082
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1450
Builder setUseMirRounding(boolean value)
Definition: SatParameters.java:13083
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:9664
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:12923
Builder clearRestartPeriod()
Definition: SatParameters.java:10436
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:12426
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:15460
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:11588
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:11061
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9260
boolean getPresolveUseBva()
Definition: SatParameters.java:11649
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2655
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:4628
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:116
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:9423
IN_ORDER
Definition: SatParameters.java:899
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:13684
int getPresolveBveThreshold()
Definition: SatParameters.java:3485
CLAUSE_LBD
Definition: SatParameters.java:1529
boolean hasVariableActivityDecay()
Definition: SatParameters.java:9870
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:11624
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3712
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:9849
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:14839
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:4286
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1225
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2954
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:11610
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:2399
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2369
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:5341
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4196
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3160
boolean getMinimizeCore()
Definition: SatParameters.java:3808
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:7885
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:5053
final int getNumber()
Definition: SatParameters.java:1307
double getGlucoseMaxDecay()
Definition: SatParameters.java:9984
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12534
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12638
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3051
Builder clearLinearizationLevel()
Definition: SatParameters.java:12718
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:11659
Builder clearUseBlockingRestart()
Definition: SatParameters.java:10624
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:4645
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:11375
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3867
Builder clearExpandElementConstraints()
Definition: SatParameters.java:11984
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8864
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1647
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4333
boolean hasFindMultipleCores()
Definition: SatParameters.java:12156
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2183
boolean getOptimizeWithCore()
Definition: SatParameters.java:4612
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5302
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:3524
int getClauseCleanupLbdBound()
Definition: SatParameters.java:9587
Builder clearLogSearchProgress()
Definition: SatParameters.java:11216
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4487
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:12734
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:3236
int getMaxNumCuts()
Definition: SatParameters.java:4140
Builder clearInterleaveSearch()
Definition: SatParameters.java:14343
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:15475
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:10852
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:3425
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:12976
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:11788
boolean getUseOptimizationHints()
Definition: SatParameters.java:12063
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:14719
boolean hasExpandElementConstraints()
Definition: SatParameters.java:11948
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:10471
int getRestartAlgorithmsCount()
Definition: SatParameters.java:2904
double getMipVarScaling()
Definition: SatParameters.java:5298
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9351
long getMaxMemoryInMb()
Definition: SatParameters.java:11015
int getBinarySearchNumConflicts()
Definition: SatParameters.java:13842
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:4115
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:2481
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:3698
boolean hasInterleaveSearch()
Definition: SatParameters.java:4856
long getMaxInactiveCount()
Definition: SatParameters.java:4385
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3862
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:3587
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4005
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:12178
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:13578
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:8850
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3015
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:11572
final int getNumber()
Definition: SatParameters.java:1944
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:14880
static final int MAX_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:4364
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:4456
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:4946
boolean getCatchSigintSignal()
Definition: SatParameters.java:15096
boolean hasRestartPeriod()
Definition: SatParameters.java:2977
boolean getCpModelPresolve()
Definition: SatParameters.java:3662
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:1716
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:13162
boolean hasExploitBestSolution()
Definition: SatParameters.java:4496
int getRestartPeriod()
Definition: SatParameters.java:2988
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4090
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:14109
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:4316
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:9971
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4792
boolean getFindMultipleCores()
Definition: SatParameters.java:3833
boolean getDeterministicParallelSearch()
Definition: SatParameters.java:14420
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:4752
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1194
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:2936
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:15495
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:14939
int getRestartPeriod()
Definition: SatParameters.java:10411
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:3675
static Polarity forNumber(int value)
Definition: SatParameters.java:1085
Builder clearVariableActivityDecay()
Definition: SatParameters.java:9921
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:2506
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2967
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:10522
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:13180
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:4819
boolean getUseBranchingInLp()
Definition: SatParameters.java:14984
boolean hasRandomSeed()
Definition: SatParameters.java:11120
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:3396
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13255
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1097
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9649
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:14087
boolean hasUseOptimizationHints()
Definition: SatParameters.java:3772
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8901
boolean hasUseOptionalVariables()
Definition: SatParameters.java:14856
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:4873
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12297
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:9273
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:9122
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:14391
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:12514
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:4144
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:13458
Builder clearMaxInactiveCount()
Definition: SatParameters.java:13338
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:3344
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:3616
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:2533
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:11970
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:2626
Builder clearFindMultipleCores()
Definition: SatParameters.java:12192
Builder clearUseRinsLns()
Definition: SatParameters.java:14671
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:11732
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11307
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:11749
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:10771
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:10679
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:5138
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:14007
AUTOMATIC_SEARCH
Definition: SatParameters.java:2027
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:12350
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:10024
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:11073
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:11871
LUBY_RESTART
Definition: SatParameters.java:1639
Builder clearUsePbResolution()
Definition: SatParameters.java:11276
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:10451
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9944
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:15028
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:13286
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:3222
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:3549
boolean hasFindMultipleCores()
Definition: SatParameters.java:3822
boolean getUsePbResolution()
Definition: SatParameters.java:11247
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1229
boolean hasLinearizationLevel()
Definition: SatParameters.java:12676
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2248
boolean getShareObjectiveBounds()
Definition: SatParameters.java:14472
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:12702
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2792
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:15431
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7543
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:9105
boolean hasMipCheckPrecision()
Definition: SatParameters.java:5388
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:2921
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:9953
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1847
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:9729
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:4020
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:3307
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:10186
boolean hasOptimizeWithCore()
Definition: SatParameters.java:4599
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9560
boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:5003
boolean getExploitBestSolution()
Definition: SatParameters.java:13568
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1655
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:2600
boolean hasUseMirRounding()
Definition: SatParameters.java:13059
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:5356
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:11468
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:1952
double getVariableActivityDecay()
Definition: SatParameters.java:9886
boolean hasUseBranchingInLp()
Definition: SatParameters.java:5178
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:8439
boolean getUseOptimizationHints()
Definition: SatParameters.java:3785
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4154
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:11028
double getMipMaxBound()
Definition: SatParameters.java:15152
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2265
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:4100
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:5221
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:9637
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:11823
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:14686
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:11558
Builder clearOptimizeWithCore()
Definition: SatParameters.java:13811
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:11294
boolean hasPresolveUseBva()
Definition: SatParameters.java:11639
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:8413
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:4360
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:12333
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10568
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:14378
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:4738
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:2803
boolean getInstantiateAllVariables()
Definition: SatParameters.java:14098
.lang.Override Builder clear()
Definition: SatParameters.java:7626
double getClauseActivityDecay()
Definition: SatParameters.java:10102
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10744
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:13715
boolean hasExploitObjective()
Definition: SatParameters.java:4520
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:9161
boolean hasClauseActivityDecay()
Definition: SatParameters.java:2831
boolean getUseExactLpReason()
Definition: SatParameters.java:14926
boolean getCpModelPresolve()
Definition: SatParameters.java:11813
double getGlucoseMaxDecay()
Definition: SatParameters.java:2788
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3123
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:13401
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12549
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:2856
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:3284
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:2575
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:14167
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1571
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:3708
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:12582
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:9902
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:3737
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:4724
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:9343
.lang.Override Builder clone()
Definition: SatParameters.java:8398
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:10635
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:4273
boolean getShareObjectiveBounds()
Definition: SatParameters.java:4942
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:3643
double getMipVarScaling()
Definition: SatParameters.java:15208
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:9146
int getMipMaxActivityExponent()
Definition: SatParameters.java:15352
.lang.Override int hashCode()
Definition: SatParameters.java:6913
int getClauseCleanupTarget()
Definition: SatParameters.java:2554
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3097
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:10936
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:2992
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2165
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:4057
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:15480
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:2674
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:12076
STRATIFICATION_DESCENT
Definition: SatParameters.java:1900
boolean hasMipVarScaling()
Definition: SatParameters.java:15196
boolean getExploitObjective()
Definition: SatParameters.java:4531
boolean getAddMirCuts()
Definition: SatParameters.java:13017
boolean hasAddKnapsackCuts()
Definition: SatParameters.java:12899
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1978
boolean hasMaxInactiveCount()
Definition: SatParameters.java:4374
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:4510
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10358
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:11260
boolean getPresolveBlockedClause()
Definition: SatParameters.java:11599
boolean getUseLnsOnly()
Definition: SatParameters.java:4988
boolean getUseMirRounding()
Definition: SatParameters.java:4269
Builder setDeterministicParallelSearch(boolean value)
Definition: SatParameters.java:14432
double getMaxTimeInSeconds()
Definition: SatParameters.java:10825
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:10221
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3025
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1274
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3087
boolean getMinimizeCore()
Definition: SatParameters.java:12117
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9534
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2199
final int getNumber()
Definition: SatParameters.java:928
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3055
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:9997
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:9817
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:4907
STRATIFICATION_NONE
Definition: SatParameters.java:1891
long getProbingPeriodAtRoot()
Definition: SatParameters.java:4558
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:9306
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:5376
boolean getAddKnapsackCuts()
Definition: SatParameters.java:12911
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:9181
boolean hasUseOptimizationHints()
Definition: SatParameters.java:12050
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10547
int getClauseCleanupPeriod()
Definition: SatParameters.java:2529
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:14754
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:4882
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:2651
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:13795
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10553
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3204
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:2418
boolean getUseOptionalVariables()
Definition: SatParameters.java:14868
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:3879
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2259
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:2563
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:4779
boolean getRandomizeSearch()
Definition: SatParameters.java:14744
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1351
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4460
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:7499
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:3987
Builder clearRandomizeSearch()
Definition: SatParameters.java:14767
boolean hasDeterministicParallelSearch()
Definition: SatParameters.java:14408
boolean getUseRinsLns()
Definition: SatParameters.java:14648
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:5167
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:2443
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:9548
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:10371
double getMipCheckPrecision()
Definition: SatParameters.java:15418
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:14368
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:4024
int getBinarySearchNumConflicts()
Definition: SatParameters.java:4641
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:2925
boolean hasAddCgCuts()
Definition: SatParameters.java:12954
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2203
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1744
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:9794
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:9458
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:8913
Builder clearClauseActivityDecay()
Definition: SatParameters.java:10125
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:14218
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1562
Builder clearAddCgCuts()
Definition: SatParameters.java:12990
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:2807
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:3599
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:1831
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:5217
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:12261
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:10705
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:3311
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:11690
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2253
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:5039
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:9247
boolean hasPresolveUseBva()
Definition: SatParameters.java:3573
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:10285
boolean getPresolveBlockedClause()
Definition: SatParameters.java:3560
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:9471
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:12564
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:14658
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:3954
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:2753
boolean hasUseMirRounding()
Definition: SatParameters.java:4257
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:4165
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:3873
LP_SEARCH
Definition: SatParameters.java:2055
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1117
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:10559
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:13660