Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
181 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
193 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
205 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
282 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
359 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
376 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
408 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
425 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
437 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
455 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
568 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
980 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1155 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1161 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1163 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1552 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1680 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2204 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2345 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2819 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2821 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2838 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2840 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
3098 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
3100 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3101 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3117 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3119 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3120 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3256 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3258 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3259 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3304 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3306 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3307 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3600 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3605 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3606 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3625 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3627 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
5362 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
5364 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
5365 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5410 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5412 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5413 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
6224 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
6226 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
6227 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
7265 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
7267 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
7268 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
8625 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
9166 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
9179 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
9224 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
9229 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
9319 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
9364 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
9379 if (hasPermutePresolveConstraintOrder() != other.hasPermutePresolveConstraintOrder()) return false;
9419 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
9439 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
9470 if (hasCpModelPostsolveWithFullSolver() != other.hasCpModelPostsolveWithFullSolver()) return false;
9475 if (hasCpModelMaxNumPresolveOperations() != other.hasCpModelMaxNumPresolveOperations()) return false;
9542 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
9571 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
9580 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
9585 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
9590 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
9595 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
9610 if (hasMaxDomainSizeWhenEncodingEqNeqConstraints() != other.hasMaxDomainSizeWhenEncodingEqNeqConstraints()) return false;
9670 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
9722 if (hasFixVariablesToTheirHintedValue() != other.hasFixVariablesToTheirHintedValue()) return false;
9762 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
9792 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
9797 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
9807 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
9837 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9862 if (hasLnsExpandIntervalsInConstraintGraph() != other.hasLnsExpandIntervalsInConstraintGraph()) return false;
9901 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
9963 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
10844 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
10905 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10911 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
10913 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
10996 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
11280 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
11682 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
11688 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11700 result.maxDomainSizeWhenEncodingEqNeqConstraints_ = maxDomainSizeWhenEncodingEqNeqConstraints_;
12334 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
12337 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
12340 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
12349 setMaxDomainSizeWhenEncodingEqNeqConstraints(other.getMaxDomainSizeWhenEncodingEqNeqConstraints());
12734 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
12742 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
12777 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
12778 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
13307 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
13309 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
13310 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
13317 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
13350 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
13352 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
13353 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
13360 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
13639 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
13640 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
13647 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
13741 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
13742 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
13749 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
14377 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
14379 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
14415 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
14461 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
14517 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
17920 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
17922 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
17923 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
17930 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
18022 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
18024 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
18025 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
18032 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
19682 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
19683 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
19690 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
21803 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
21804 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value)
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17930
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:22916
Builder setMipMaxBound(double value)
Definition: SatParameters.java:22698
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:13423
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15453
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12785
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14980
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:19970
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16263
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14796
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:23037
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:19778
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16443
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:18953
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19528
Builder setLogSubsolverStatistics(boolean value)
Definition: SatParameters.java:15852
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:22347
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18361
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13240
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:20272
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17040
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:12969
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:19575
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:16572
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:17005
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:14415
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:17249
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15445
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:21066
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14937
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14929
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:18411
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:18088
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12767
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:15128
Builder setLnsFocusOnDecisionVariables(boolean value)
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21563
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:17076
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:13201
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13749
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18680
Builder setMaxDomainSizeWhenEncodingEqNeqConstraints(int value)
Definition: SatParameters.java:18537
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:14486
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:13082
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:13066
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:16712
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:16282
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:16384
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:11298
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:19168
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:16502
Builder clearCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:16850
Builder setExpandReservoirConstraints(boolean value)
Definition: SatParameters.java:17334
Builder clearMipMaxBound()
Definition: SatParameters.java:22714
Builder clearPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15707
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:15424
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14082
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:14175
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14435
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:13803
Builder clearLogSearchProgress()
Definition: SatParameters.java:15805
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:22016
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13287
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:19208
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:22733
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21547
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19400
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:20944
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:14377
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:18487
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:17134
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:15147
Builder clearLogSubsolverStatistics()
Definition: SatParameters.java:15868
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:17800
Builder clearHintConflictLimit()
Definition: SatParameters.java:19758
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:21110
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:21257
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:16728
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:22312
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:22284
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:15548
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19381
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17058
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13739
Builder clearVariableActivityDecay()
Definition: SatParameters.java:14069
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:15316
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21369
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16188
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:16938
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:21424
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:12985
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15041
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:16366
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16220
.lang.Override boolean hasClauseCleanupRatio()
Definition: SatParameters.java:13573
Builder clearAddMirCuts()
Definition: SatParameters.java:18861
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:17859
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:22375
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18321
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:19645
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:17380
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:21855
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:21496
Builder clearExpandReservoirConstraints()
Definition: SatParameters.java:17349
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13964
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:15482
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:14612
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:20150
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:15621
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:15526
.lang.Override boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19843
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:16964
.lang.Override boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20460
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14329
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:15401
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:20897
Builder setClauseCleanupRatio(double value)
Definition: SatParameters.java:13601
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:21743
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14204
Builder clearName()
Definition: SatParameters.java:12692
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:22980
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:16136
Builder clearRestartAlgorithms()
Definition: SatParameters.java:14510
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:20691
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:20964
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:19563
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:15790
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15689
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:18002
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:16698
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:21955
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:20238
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:12581
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:20031
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:20927
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12008
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:18069
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:20708
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18259
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:13927
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17660
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:18396
Builder clearMipVarScaling()
Definition: SatParameters.java:22777
Builder setLnsExpandIntervalsInConstraintGraph(boolean value)
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21602
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:21052
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:16350
Builder setUseProbingSearch(boolean value)
Definition: SatParameters.java:20298
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:21410
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13731
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18278
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21296
Builder clearDisableConstraintExpansion()
Definition: SatParameters.java:17408
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:19132
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19703
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:12024
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:21700
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:14270
Builder setExpandTableConstraints(boolean value)
Definition: SatParameters.java:17216
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19326
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:22962
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14908
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:21386
Builder setName(java.lang.String value)
Definition: SatParameters.java:12673
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:13481
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:16993
Builder clearSymmetryLevel()
Definition: SatParameters.java:22651
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:15191
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:22604
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:22895
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:19491
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:16684
Builder setOptimizeWithLbTreeSearch(boolean value)
Definition: SatParameters.java:20492
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:15213
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:13513
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:18820
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:19030
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:17987
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:15301
java.lang.String getLogPrefix()
Definition: SatParameters.java:15895
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:22998
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:11284
Builder clearLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21573
boolean hasLogPrefix()
Definition: SatParameters.java:15884
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18242
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:17756
Builder setPermutePresolveConstraintOrder(boolean value)
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15697
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23094
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17445
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:20577
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:20422
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:22540
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18167
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17429
.lang.Override boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20476
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:15777
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:12932
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:21555
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:19632
Builder setLogToStdout(boolean value)
Definition: SatParameters.java:16017
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:17275
.lang.Override boolean hasLogToStdout()
Definition: SatParameters.java:15993
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:19016
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21594
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:19046
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:13779
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:20599
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13980
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:14013
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:20254
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:22874
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:13678
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19546
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:13129
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12724
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:18920
Builder clearMaxNumCuts()
Definition: SatParameters.java:18621
boolean hasName()
Definition: SatParameters.java:12615
.lang.Override boolean getLogToResponse()
Definition: SatParameters.java:16060
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17508
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:20912
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16303
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:15247
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:16410
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13951
Builder clearCutCleanupTarget()
Definition: SatParameters.java:19601
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:12708
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:20285
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:15161
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:17262
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17943
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:19904
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12030
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13440
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:21453
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21288
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:20407
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:20116
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:16950
com.google.protobuf.ByteString getLogPrefixBytes()
Definition: SatParameters.java:15918
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13342
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:17768
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:13457
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:21712
.lang.Override boolean getLogSubsolverStatistics()
Definition: SatParameters.java:15838
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16173
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:18879
Builder clearUseBlockingRestart()
Definition: SatParameters.java:14869
.lang.Override int getRandomSeed()
Definition: SatParameters.java:15565
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:14853
Builder setFixVariablesToTheirHintedValue(boolean value)
Definition: SatParameters.java:19869
.lang.Override Builder clear()
Definition: SatParameters.java:10932
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17492
Builder clearUseImpliedBounds()
Definition: SatParameters.java:22454
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:20088
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:19744
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:21938
Builder setConvertIntervals(boolean value)
Definition: SatParameters.java:22568
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:19587
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:21011
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:20994
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13408
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:20560
Builder clearCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16909
Builder clearRandomSeed()
Definition: SatParameters.java:15601
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:14752
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:21398
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18045
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21304
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:16106
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20372
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:22091
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:11279
Builder clearFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19884
Builder clearCoverOptimization()
Definition: SatParameters.java:17900
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18150
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:18939
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14188
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:13719
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:12904
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:19238
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21811
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:14049
Builder clearConvertIntervals()
Definition: SatParameters.java:22584
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:19998
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:13101
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:12918
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:19619
Builder clearLogToStdout()
Definition: SatParameters.java:16031
Builder clearCpModelPresolve()
Definition: SatParameters.java:16783
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:21241
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:17019
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18639
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:13052
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:18967
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:20530
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:17146
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20806
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:18665
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:20727
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:21441
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18652
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:20827
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:19793
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18225
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13846
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:17321
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13629
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:19477
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17048
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:14739
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19690
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:13145
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14898
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:21184
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:14682
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:19002
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:18574
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17479
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14548
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:17710
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:14625
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:12823
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:19367
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:20392
Builder clearMipCheckPrecision()
Definition: SatParameters.java:23081
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:19984
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:13704
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:13539
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:18761
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20344
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:15636
Builder clearLogPrefix()
Definition: SatParameters.java:15957
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:15100
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:17553
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13660
Builder clearLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21612
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:22185
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17920
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:12045
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18184
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:13019
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20331
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:23018
Builder clearCatchSigintSignal()
Definition: SatParameters.java:22391
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:18713
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:16926
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16484
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:22072
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14529
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:15286
Builder clearNumSearchWorkers()
Definition: SatParameters.java:21204
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15437
Builder clearMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18554
Builder clearUseLnsOnly()
Definition: SatParameters.java:21534
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:20616
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:13001
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:13526
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:20652
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:13167
Builder setExpandAutomatonConstraints(boolean value)
Definition: SatParameters.java:17158
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:17744
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:15510
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13990
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:20674
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:14282
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21314
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:17885
.lang.Override int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18522
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17607
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21793
Builder clearUsePbResolution()
Definition: SatParameters.java:16153
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18340
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:22328
Builder setSymmetryLevel(int value)
Definition: SatParameters.java:22634
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:16818
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:16803
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:18604
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:21166
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14321
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14788
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:22235
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:16543
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22814
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:13554
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16868
Builder clearAddCliqueCuts()
Definition: SatParameters.java:18983
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:12948
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:15113
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19414
Builder setDisableConstraintExpansion(boolean value)
Definition: SatParameters.java:17393
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:17089
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:19093
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:15496
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:20102
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:20055
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:22747
.lang.Override double getClauseCleanupRatio()
Definition: SatParameters.java:13587
Builder clearMinimizeCore()
Definition: SatParameters.java:17782
Builder setRandomSeed(int value)
Definition: SatParameters.java:15582
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:21767
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:18459
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19672
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:22489
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:13817
Builder clearSolutionPoolSize()
Definition: SatParameters.java:21671
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15720
Builder clearInterleaveSearch()
Definition: SatParameters.java:21275
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:15359
Builder clearExploitObjective()
Definition: SatParameters.java:20191
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:18128
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17518
Builder clearFindMultipleCores()
Definition: SatParameters.java:17841
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:12036
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:16648
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:16881
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:20224
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:14994
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:19951
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:22155
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10910
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:20014
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20750
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16244
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13307
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21824
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14243
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:22249
Builder clearLinearizationLevel()
Definition: SatParameters.java:18428
Builder clearUseBranchingInLp()
Definition: SatParameters.java:22265
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:12576
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:21225
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:21040
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13838
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14253
Builder clearUseExactLpReason()
Definition: SatParameters.java:22202
Builder setMipVarScaling(double value)
Definition: SatParameters.java:22761
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:16203
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16456
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:13184
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:18787
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:14966
Builder setSolutionPoolSize(int value)
Definition: SatParameters.java:21656
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:22361
Builder clearUseOptimizationHints()
Definition: SatParameters.java:17727
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:18446
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:15087
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18302
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:19720
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:16633
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:16425
Builder clearUseOptionalVariables()
Definition: SatParameters.java:22135
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14196
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14590
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:15266
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14780
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:17203
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:16397
.lang.Override boolean getLogToStdout()
Definition: SatParameters.java:16005
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14090
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17912
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:23051
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:18589
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13856
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:14767
.lang.Override boolean hasSolutionPoolSize()
Definition: SatParameters.java:21630
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:19308
.lang.Override int getSolutionPoolSize()
Definition: SatParameters.java:21643
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:16560
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:17695
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:19732
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:13469
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:22034
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:17367
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19343
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:14128
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14347
.lang.Override boolean hasLogToResponse()
Definition: SatParameters.java:16048
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:22410
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:17826
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:16665
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:19463
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18014
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12775
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14214
Builder clearExpandElementConstraints()
Definition: SatParameters.java:17117
Builder setUseAbslRandom(boolean value)
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15736
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:18107
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:18699
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:21842
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:15054
Builder clearExploitBestSolution()
Definition: SatParameters.java:20069
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:22298
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:14158
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:18472
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:14694
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13830
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17624
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14337
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:21520
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:20859
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:14708
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:19660
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13762
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:16469
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20768
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15010
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:22504
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:14143
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19444
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19276
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:20210
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:19934
Builder setRepairHint(boolean value)
Definition: SatParameters.java:19808
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:16981
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:22554
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:14726
int getRestartAlgorithmsCount()
Definition: SatParameters.java:14396
Builder clearAddCgCuts()
Definition: SatParameters.java:18802
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13883
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:21924
Builder clearOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20510
Builder clearRandomizeSearch()
Definition: SatParameters.java:21993
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:18381
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:14294
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:21479
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14806
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21343
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:17538
java.lang.String getName()
Definition: SatParameters.java:12627
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13373
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:18774
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:16618
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14579
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:20043
Builder clearExpandAutomatonConstraints()
Definition: SatParameters.java:17172
Builder clearClauseCleanupRatio()
Definition: SatParameters.java:13617
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:18905
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14227
Builder clearUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15746
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19292
Builder clearAddKnapsackCuts()
Definition: SatParameters.java:18743
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:16584
Builder setPermuteVariableRandomly(boolean value)
Definition: SatParameters.java:15651
.lang.Override boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:15824
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:14670
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:17308
Builder clearPermuteVariableRandomly()
Definition: SatParameters.java:15668
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:21979
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15028
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14890
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23088
Builder clearRepairHint()
Definition: SatParameters.java:19825
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:21912
Builder setRestartPeriod(int value)
Definition: SatParameters.java:14638
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:22670
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:13972
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15728
.lang.Override boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18507
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:17461
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:20357
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:20176
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:20843
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:13220
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:21868
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21801
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17500
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:21688
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:17290
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:20163
Builder clearOptimizeWithCore()
Definition: SatParameters.java:20439
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:20786
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:19188
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12798
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:19507
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:14825
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:22052
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19680
Builder setLogPrefix(java.lang.String value)
Definition: SatParameters.java:15939
Builder setCpModelPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:16833
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:21028
Builder clearUseRinsLns()
Definition: SatParameters.java:21726
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12755
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14098
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:15175
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:16322
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18022
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13255
.lang.Override Builder clone()
Definition: SatParameters.java:12004
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:16757
.lang.Override boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19856
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:20877
Builder setLogToResponse(boolean value)
Definition: SatParameters.java:16072
Builder clearPresolveUseBva()
Definition: SatParameters.java:16598
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14921
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:15333
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:17872
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21331
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:15380
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:20633
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13393
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:10904
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22848
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:16336
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:11289
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:22424
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13330
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:19255
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:14031
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13647
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:22438
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:21508
Builder clearUseRelaxationLns()
Definition: SatParameters.java:21883
Builder clearUsePhaseSaving()
Definition: SatParameters.java:12885
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12742
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:13791
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:16515
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:18032
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17032
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13637
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:17585
Builder clearMipWantedPrecision()
Definition: SatParameters.java:22939
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14565
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17961
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:21084
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:21900
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:13691
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13360
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:21586
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14461
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:21781
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19536
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13905
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:16745
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14522
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:17813
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:19150
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:13038
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:22474
Builder setLogPrefixBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:15972
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15463
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:12843
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13317
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:21355
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:19079
Builder clearPolishLpSolution()
Definition: SatParameters.java:22521
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:18833
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:23065
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:12651
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:20132
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17974
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:15230
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13299
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:17190
Builder clearUseProbingSearch()
Definition: SatParameters.java:20313
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:22105
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14108
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:19109
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:22830
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:16121
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:19919
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:16528
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15681
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:18892
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:21465
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:19223
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15069
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:13115
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:20979
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:13495
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:16769
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:12863
Builder clearRestartPeriod()
Definition: SatParameters.java:14653
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:13270
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:17680
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22798
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:15764
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:22619
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:22221
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:17641
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:17568
Builder clearClauseActivityDecay()
Definition: SatParameters.java:14308
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:21967
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:21148
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:19065
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:12014
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:21755
Builder clearStopAfterPresolve()
Definition: SatParameters.java:21125
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:22684
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19520
Builder setCpModelMaxNumPresolveOperations(int value)
Definition: SatParameters.java:16894
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:14839
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:20545
Builder setAddKnapsackCuts(boolean value)
Definition: SatParameters.java:18727
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14235
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:18846
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14947
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14882
Builder clearExpandTableConstraints()
Definition: SatParameters.java:17231
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:22170
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19355
Builder setExpandElementConstraints(boolean value)
Definition: SatParameters.java:17102
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:19428
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13350
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12732
Builder clearLogToResponse()
Definition: SatParameters.java:16086
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:22119
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18203
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:12019
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:21097
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6383
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7393
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3551
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3917
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:6365
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4560
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4595
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5667
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5789
static final int CLAUSE_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3212
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7872
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5494
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:7354
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:6271
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4636
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5874
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2953
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6151
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:7532
static final int LNS_EXPAND_INTERVALS_IN_CONSTRAINT_GRAPH_FIELD_NUMBER
Definition: SatParameters.java:7150
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3066
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:6513
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4931
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2933
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7740
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:6178
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:5397
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4705
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3802
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:5032
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4140
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3886
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5453
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2831
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3156
.lang.Override boolean hasExpandElementConstraints()
Definition: SatParameters.java:4947
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5161
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10816
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7550
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4607
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4665
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3468
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3684
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:7371
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5993
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7722
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:6155
.lang.Override boolean hasLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:7138
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6087
.lang.Override boolean hasExpandAutomatonConstraints()
Definition: SatParameters.java:4975
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3992
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:5303
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10837
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:7501
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4191
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3304
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4519
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4885
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2949
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3717
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3946
.lang.Override boolean hasClauseCleanupRatio()
Definition: SatParameters.java:3225
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:5332
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5568
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:5103
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:7296
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4889
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:7115
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3410
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4157
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3729
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:6453
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:4226
.lang.Override boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6302
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3665
.lang.Override boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6607
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3593
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6822
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3356
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:7236
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7050
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7855
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6730
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6855
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3645
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:6166
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4260
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4769
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:7338
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3676
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7709
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:6394
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7004
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10849
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5434
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:7271
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6501
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5601
static final int LNS_FOCUS_ON_DECISION_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7131
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3123
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3297
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:3015
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7019
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5957
.lang.Override java.lang.String getLogPrefix()
Definition: SatParameters.java:4366
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:6230
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:7221
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3562
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7775
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7837
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:7061
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4912
.lang.Override boolean hasLogPrefix()
Definition: SatParameters.java:4354
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:7659
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7816
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:7327
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4755
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:4026
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3195
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5801
static final int LOG_TO_STDOUT_FIELD_NUMBER
Definition: SatParameters.java:4403
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:4076
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:23134
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:3052
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4523
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:7198
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5527
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:5287
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:5291
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:5138
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6930
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:10885
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3921
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:7627
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5490
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:5122
.lang.Override boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6623
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4308
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3461
.lang.Override boolean getLnsFocusOnDecisionVariables()
optional bool lns_focus_on_decision_variables = 105 [default = false];
Definition: SatParameters.java:7146
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:6207
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:10875
.lang.Override boolean hasLogToStdout()
Definition: SatParameters.java:4414
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5905
.lang.Override boolean getLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:7165
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5847
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3321
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6676
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:10856
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3439
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6841
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7795
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3274
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:5320
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6874
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2812
.lang.Override boolean getLogToResponse()
Definition: SatParameters.java:4453
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6837
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:6526
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:4006
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:5045
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:6333
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3871
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6901
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3625
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:7100
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7011
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3291
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6588
static final int FIX_VARIABLES_TO_THEIR_HINTED_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6290
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3110
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3167
.lang.Override boolean getLogSubsolverStatistics()
Definition: SatParameters.java:4339
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4504
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5830
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4208
static final int LOG_SUBSOLVER_STATISTICS_FIELD_NUMBER
Definition: SatParameters.java:4312
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:23109
static final int EXPAND_AUTOMATON_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4964
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:5149
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:6423
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3152
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5531
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10826
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2768
static final int ADD_KNAPSACK_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5729
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6470
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:7073
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5349
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4471
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3890
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3085
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:7406
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4624
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3852
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5473
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:5264
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5860
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3520
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2900
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4283
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2997
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:5194
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5940
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2914
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:6194
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:6074
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6105
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:7000
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5712
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2980
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:6257
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6641
.lang.Override boolean getExpandAutomatonConstraints()
Definition: SatParameters.java:4987
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:7088
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:6012
static final int PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4245
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7678
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5725
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6788
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:6286
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5510
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4916
.lang.Override boolean getExpandReservoirConstraints()
Definition: SatParameters.java:5074
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3249
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:6132
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3798
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:5231
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2887
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3769
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5891
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5681
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4457
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4742
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3742
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2863
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4010
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6573
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:6379
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5772
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6555
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:7488
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:4241
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3975
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:5190
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5362
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6542
.lang.Override boolean getAddKnapsackCuts()
Definition: SatParameters.java:5756
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4873
.lang.Override Builder toBuilder()
Definition: SatParameters.java:10879
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:4061
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4132
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2743
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6693
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5416
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:10871
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10805
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3578
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3208
static final int CP_MODEL_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:4800
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:3031
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:5275
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6713
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3574
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7581
.lang.Override int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5663
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5210
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7258
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7902
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3513
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4564
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3597
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3532
.lang.Override boolean getCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4829
.lang.Override int getSerializedSize()
Definition: SatParameters.java:8418
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6734
.lang.Override boolean hasCpModelPostsolveWithFullSolver()
Definition: SatParameters.java:4814
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3262
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6965
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3585
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3817
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3950
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:7484
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7771
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:7225
.lang.Override boolean hasCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4845
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5020
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4144
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4682
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6101
.lang.Override boolean getExpandElementConstraints()
Definition: SatParameters.java:4960
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4171
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:6437
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:7104
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7736
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4709
.lang.Override double getClauseCleanupRatio()
Definition: SatParameters.java:3239
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5630
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6217
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7610
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4271
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7820
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:4100
.lang.Override int getCpModelMaxNumPresolveOperations()
Definition: SatParameters.java:4858
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6497
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:7438
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1160
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5909
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6751
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4541
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3098
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:151
static final int CP_MODEL_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4833
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7892
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:6984
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6897
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3352
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4649
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:3048
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6352
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:7519
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3903
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:7546
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5617
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3962
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5549
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:6241
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4738
static final int CONVERT_INTERVALS_FIELD_NUMBER
Definition: SatParameters.java:7614
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3528
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5979
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:6136
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3809
.lang.Override boolean getExpandTableConstraints()
Definition: SatParameters.java:5016
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4620
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4125
.lang.Override boolean getLogToStdout()
Definition: SatParameters.java:4426
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:10844
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3476
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10862
static final int EXPAND_ELEMENT_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4935
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5355
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7886
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5696
.lang.Override boolean hasSolutionPoolSize()
Definition: SatParameters.java:7181
static final int SYMMETRY_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:7645
.lang.Override int getSolutionPoolSize()
Definition: SatParameters.java:7194
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4693
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:5260
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:6253
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3179
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:7389
static final int LOG_TO_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4430
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:5090
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6058
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4175
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3494
.lang.Override boolean hasLogToResponse()
Definition: SatParameters.java:4441
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:4047
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:7563
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:6118
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5403
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6773
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2918
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2838
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4080
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6319
.lang.Override boolean hasAddKnapsackCuts()
Definition: SatParameters.java:5742
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:7283
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5700
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:7515
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:23114
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3344
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5227
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:6211
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6627
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:10800
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6769
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3509
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6027
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6483
static final int USE_ABSL_RANDOM_FIELD_NUMBER
Definition: SatParameters.java:4264
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4900
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:7641
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3785
.lang.Override int hashCode()
Definition: SatParameters.java:9990
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3377
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:23129
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5586
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6969
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6697
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3243
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7046
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:5175
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5785
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4723
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:6406
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4653
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2793
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3539
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6043
.lang.Override boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:4325
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3757
.lang.Override boolean hasExpandReservoirConstraints()
Definition: SatParameters.java:5061
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5142
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3933
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3867
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:7323
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:23124
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7691
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3821
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3422
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3418
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4279
.lang.Override boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5648
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5760
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6804
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6808
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7265
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6182
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:5157
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:7209
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:6466
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5878
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:144
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3834
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3669
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6224
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6885
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4862
static final int EXPAND_TABLE_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4991
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4773
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6530
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:7424
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4577
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3480
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5410
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3081
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3746
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4796
.lang.Override boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6315
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3337
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2825
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3878
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:5345
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7034
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:4121
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5818
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:9111
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3137
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1154
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4591
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:7577
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3979
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3457
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:7127
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3333
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4678
static final int PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER
Definition: SatParameters.java:4212
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4923
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3183
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3256
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:10822
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6660
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5380
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6913
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:7311
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3287
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:5107
.lang.Override boolean hasLnsExpandIntervalsInConstraintGraph()
optional bool lns_expand_intervals_in_constraint_graph = 184 [default = true];
Definition: SatParameters.java:7157
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3399
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4784
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:5316
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5975
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2966
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5605
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7595
.lang.Override com.google.protobuf.ByteString getLogPrefixBytes()
Definition: SatParameters.java:4390
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2883
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3403
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5936
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:7023
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5814
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5393
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:4043
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:10832
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3091
.lang.Override boolean hasExpandTableConstraints()
Definition: SatParameters.java:5003
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5572
static final int LOG_PREFIX_FIELD_NUMBER
Definition: SatParameters.java:4343
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:7420
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2984
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4486
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:6348
static Builder newBuilder()
Definition: SatParameters.java:10872
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4252
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6410
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5843
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:6008
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:3011
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6870
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:5245
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3773
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7755
static final int MAX_DOMAIN_SIZE_WHEN_ENCODING_EQ_NEQ_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5634
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4295
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:7674
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:7470
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:7252
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6559
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:7350
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6947
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5922
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:7248
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7705
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:10811
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4490
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6143
static final int DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER
Definition: SatParameters.java:5078
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2806
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3848
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6656
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3547
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7859
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3859
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:7453
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3104
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6070
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:7457
.lang.Override boolean hasName()
Definition: SatParameters.java:2755
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2844
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3117
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:6047
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2819
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:7300
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3310
static final int OPTIMIZE_WITH_LB_TREE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6592
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5368
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:6441
static final int EXPAND_RESERVOIR_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5049
static final int SOLUTION_POOL_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7169
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5457
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3704
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6926
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7077
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1659
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1576
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1627
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1619
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1580
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1651
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1584
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1655
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1665
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1639
final int getNumber()
Definition: SatParameters.java:1609
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1911
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1874
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1891
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1903
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1917
CLAUSE_ACTIVITY
Definition: SatParameters.java:1835
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1882
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1907
final int getNumber()
Definition: SatParameters.java:1864
CLAUSE_LBD
Definition: SatParameters.java:1843
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1794
PROTECTION_LBD
Definition: SatParameters.java:1717
PROTECTION_ALWAYS
Definition: SatParameters.java:1709
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1800
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1774
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1786
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1756
PROTECTION_NONE
Definition: SatParameters.java:1701
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1790
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1764
final int getNumber()
Definition: SatParameters.java:1746
Definition: SatParameters.java:1445
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1531
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1492
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1511
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1500
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1537
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1523
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1527
final int getNumber()
Definition: SatParameters.java:1482
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2693
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2682
NEAREST_INTEGER
Definition: SatParameters.java:2587
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2713
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2719
PROPAGATION_ASSISTED
Definition: SatParameters.java:2619
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2606
LOCK_BASED
Definition: SatParameters.java:2597
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2674
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2705
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2709
final int getNumber()
Definition: SatParameters.java:2664
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2183
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2153
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2145
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2189
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2175
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2163
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2179
final int getNumber()
Definition: SatParameters.java:2135
Definition: SatParameters.java:2215
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2324
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2304
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2294
STRATIFICATION_DESCENT
Definition: SatParameters.java:2232
STRATIFICATION_ASCENT
Definition: SatParameters.java:2243
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2316
STRATIFICATION_NONE
Definition: SatParameters.java:2223
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2286
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2320
final int getNumber()
Definition: SatParameters.java:2276
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2330
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1413
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1393
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1373
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1327
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1319
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1419
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1405
static Polarity forNumber(int value)
Definition: SatParameters.java:1381
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1409
final int getNumber()
Definition: SatParameters.java:1363
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:2034
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2074
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1975
FIXED_RESTART
Definition: SatParameters.java:1983
LUBY_RESTART
Definition: SatParameters.java:1959
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2054
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2080
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:2042
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2066
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1967
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2070
final int getNumber()
Definition: SatParameters.java:2024
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2547
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2505
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2527
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2513
AUTOMATIC_SEARCH
Definition: SatParameters.java:2365
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2413
LP_SEARCH
Definition: SatParameters.java:2393
PORTFOLIO_SEARCH
Definition: SatParameters.java:2383
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2403
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2539
FIXED_SEARCH
Definition: SatParameters.java:2375
HINT_SEARCH
Definition: SatParameters.java:2423
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2553
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2543
final int getNumber()
Definition: SatParameters.java:2495
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1260
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1240
IN_ORDER
Definition: SatParameters.java:1183
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1222
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1252
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1266
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1230
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1256
final int getNumber()
Definition: SatParameters.java:1212