Java Reference
Java Reference
SatParameters.java
Go to the documentation of this file.
180 com.google.ortools.sat.SatParameters.VariableOrder value = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(rawValue);
192 com.google.ortools.sat.SatParameters.Polarity value = com.google.ortools.sat.SatParameters.Polarity.valueOf(rawValue);
204 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(rawValue);
281 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(rawValue);
358 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(rawValue);
375 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(rawValue);
407 com.google.ortools.sat.SatParameters.ClauseProtection value = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(rawValue);
424 com.google.ortools.sat.SatParameters.ClauseOrdering value = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(rawValue);
436 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
454 com.google.ortools.sat.SatParameters.RestartAlgorithm value = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(rawValue);
567 com.google.ortools.sat.SatParameters.SearchBranching value = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(rawValue);
954 com.google.ortools.sat.SatParameters.FPRoundingMethod value = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(rawValue);
1154 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
1160 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
1162 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
1551 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.ConflictMinimizationAlgorithm)
1679 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.BinaryMinizationAlgorithm)
2203 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatAssumptionOrder)
2344 // @@protoc_insertion_point(enum_scope:operations_research.sat.SatParameters.MaxSatStratificationAlgorithm)
2818 @java.lang.Override public com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder() {
2820 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
2837 @java.lang.Override public com.google.ortools.sat.SatParameters.Polarity getInitialPolarity() {
2839 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
3097 @java.lang.Override public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
3099 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
3100 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
3116 @java.lang.Override public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
3118 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
3119 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
3255 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection() {
3257 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
3258 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
3303 @java.lang.Override public com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering() {
3305 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
3306 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
3599 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm> restartAlgorithms_converter_ =
3604 com.google.ortools.sat.SatParameters.RestartAlgorithm result = com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf(from);
3605 return result == null ? com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART : result;
3624 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
3626 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
5284 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
5286 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
5287 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
5332 @java.lang.Override public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
5334 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
5335 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
6216 @java.lang.Override public com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching() {
6218 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
6219 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
7260 @java.lang.Override public com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding() {
7262 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
7263 return result == null ? com.google.ortools.sat.SatParameters.FPRoundingMethod.PROPAGATION_ASSISTED : result;
8690 size += com.google.protobuf.GeneratedMessageV3.computeStringSize(70, defaultRestartAlgorithms_);
9231 if (hasAlsoBumpVariablesInConflictReasons() != other.hasAlsoBumpVariablesInConflictReasons()) return false;
9244 if (hasSubsumptionDuringConflictAnalysis() != other.hasSubsumptionDuringConflictAnalysis()) return false;
9289 if (hasMinimizeWithPropagationRestartPeriod() != other.hasMinimizeWithPropagationRestartPeriod()) return false;
9294 if (hasMinimizeWithPropagationNumDecisions() != other.hasMinimizeWithPropagationNumDecisions()) return false;
9384 if (hasNumConflictsBeforeStrategyChanges() != other.hasNumConflictsBeforeStrategyChanges()) return false;
9429 if (hasTreatBinaryClausesSeparately() != other.hasTreatBinaryClausesSeparately()) return false;
9444 if (hasPermutePresolveConstraintOrder() != other.hasPermutePresolveConstraintOrder()) return false;
9484 if (hasMinimizeReductionDuringPbResolution() != other.hasMinimizeReductionDuringPbResolution()) return false;
9504 if (hasPresolveProbingDeterministicTimeLimit() != other.hasPresolveProbingDeterministicTimeLimit()) return false;
9577 if (hasPresolveExtractIntegerEnforcement() != other.hasPresolveExtractIntegerEnforcement()) return false;
9582 if (hasDebugPostsolveWithFullSolver() != other.hasDebugPostsolveWithFullSolver()) return false;
9587 if (hasDebugMaxNumPresolveOperations() != other.hasDebugMaxNumPresolveOperations()) return false;
9621 if (hasMaxSatReverseAssumptionOrder() != other.hasMaxSatReverseAssumptionOrder()) return false;
9630 if (hasUsePrecedencesInDisjunctiveConstraint() != other.hasUsePrecedencesInDisjunctiveConstraint()) return false;
9635 if (hasUseOverloadCheckerInCumulativeConstraint() != other.hasUseOverloadCheckerInCumulativeConstraint()) return false;
9640 if (hasUseTimetableEdgeFindingInCumulativeConstraint() != other.hasUseTimetableEdgeFindingInCumulativeConstraint()) return false;
9645 if (hasUseDisjunctiveConstraintInCumulativeConstraint() != other.hasUseDisjunctiveConstraintInCumulativeConstraint()) return false;
9665 if (hasMaxDomainSizeWhenEncodingEqNeqConstraints() != other.hasMaxDomainSizeWhenEncodingEqNeqConstraints()) return false;
9730 if (hasMinOrthogonalityForLpConstraints() != other.hasMinOrthogonalityForLpConstraints()) return false;
9782 if (hasFixVariablesToTheirHintedValue() != other.hasFixVariablesToTheirHintedValue()) return false;
9822 if (hasPseudoCostReliabilityThreshold() != other.hasPseudoCostReliabilityThreshold()) return false;
9852 if (hasKeepAllFeasibleSolutionsInPresolve() != other.hasKeepAllFeasibleSolutionsInPresolve()) return false;
9857 if (hasFillTightenedDomainsInResponse() != other.hasFillTightenedDomainsInResponse()) return false;
9862 if (hasFillAdditionalSolutionsInResponse() != other.hasFillAdditionalSolutionsInResponse()) return false;
9872 if (hasAutoDetectGreaterThanAtLeastOneOf() != other.hasAutoDetectGreaterThanAtLeastOneOf()) return false;
9902 if (hasReduceMemoryUsageInInterleaveMode() != other.hasReduceMemoryUsageInInterleaveMode()) return false;
9956 if (hasSearchRandomizationTolerance() != other.hasSearchRandomizationTolerance()) return false;
10018 if (hasMipAutomaticallyScaleVariables() != other.hasMipAutomaticallyScaleVariables()) return false;
10040 if (hasMipComputeTrueObjectiveBound() != other.hasMipComputeTrueObjectiveBound()) return false;
10909 public static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
10970 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
10976 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_fieldAccessorTable
10978 com.google.ortools.sat.SatParameters.class, com.google.ortools.sat.SatParameters.Builder.class);
11061 defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
11345 return com.google.ortools.sat.SatParametersOuterClass.internal_static_operations_research_sat_SatParameters_descriptor;
11735 result.useTimetableEdgeFindingInCumulativeConstraint_ = useTimetableEdgeFindingInCumulativeConstraint_;
11741 result.useDisjunctiveConstraintInCumulativeConstraint_ = useDisjunctiveConstraintInCumulativeConstraint_;
11757 result.maxDomainSizeWhenEncodingEqNeqConstraints_ = maxDomainSizeWhenEncodingEqNeqConstraints_;
12390 setUseOverloadCheckerInCumulativeConstraint(other.getUseOverloadCheckerInCumulativeConstraint());
12393 setUseTimetableEdgeFindingInCumulativeConstraint(other.getUseTimetableEdgeFindingInCumulativeConstraint());
12396 setUseDisjunctiveConstraintInCumulativeConstraint(other.getUseDisjunctiveConstraintInCumulativeConstraint());
12408 setMaxDomainSizeWhenEncodingEqNeqConstraints(other.getMaxDomainSizeWhenEncodingEqNeqConstraints());
12799 com.google.ortools.sat.SatParameters.VariableOrder result = com.google.ortools.sat.SatParameters.VariableOrder.valueOf(preferredVariableOrder_);
12807 public Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value) {
12842 com.google.ortools.sat.SatParameters.Polarity result = com.google.ortools.sat.SatParameters.Polarity.valueOf(initialPolarity_);
12843 return result == null ? com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE : result;
13372 public com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm() {
13374 com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm result = com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.valueOf(minimizationAlgorithm_);
13375 return result == null ? com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm.RECURSIVE : result;
13382 public Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value) {
13415 public com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm() {
13417 com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm result = com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.valueOf(binaryMinimizationAlgorithm_);
13418 return result == null ? com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST : result;
13425 public Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value) {
13704 com.google.ortools.sat.SatParameters.ClauseProtection result = com.google.ortools.sat.SatParameters.ClauseProtection.valueOf(clauseCleanupProtection_);
13705 return result == null ? com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE : result;
13712 public Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value) {
13806 com.google.ortools.sat.SatParameters.ClauseOrdering result = com.google.ortools.sat.SatParameters.ClauseOrdering.valueOf(clauseCleanupOrdering_);
13807 return result == null ? com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY : result;
13814 public Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value) {
14442 public java.util.List<com.google.ortools.sat.SatParameters.RestartAlgorithm> getRestartAlgorithmsList() {
14444 java.lang.Integer, com.google.ortools.sat.SatParameters.RestartAlgorithm>(restartAlgorithms_, restartAlgorithms_converter_);
14480 public com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index) {
14526 public Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value) {
14582 private java.lang.Object defaultRestartAlgorithms_ = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART";
17828 public com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder() {
17830 com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder result = com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf(maxSatAssumptionOrder_);
17831 return result == null ? com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER : result;
17838 public Builder setMaxSatAssumptionOrder(com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder value) {
17930 public com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification() {
17932 com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm result = com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.valueOf(maxSatStratification_);
17933 return result == null ? com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm.STRATIFICATION_DESCENT : result;
17940 public Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value) {
19732 com.google.ortools.sat.SatParameters.SearchBranching result = com.google.ortools.sat.SatParameters.SearchBranching.valueOf(searchBranching_);
19733 return result == null ? com.google.ortools.sat.SatParameters.SearchBranching.AUTOMATIC_SEARCH : result;
19740 public Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value) {
21858 com.google.ortools.sat.SatParameters.FPRoundingMethod result = com.google.ortools.sat.SatParameters.FPRoundingMethod.valueOf(fpRounding_);
21859 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:17838
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:22971
Builder setMipMaxBound(double value)
Definition: SatParameters.java:22753
Builder setSubsumptionDuringConflictAnalysis(boolean value)
Definition: SatParameters.java:13488
Builder setRelativeGapLimit(double value)
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15542
Builder setInitialPolarity(com.google.ortools.sat.SatParameters.Polarity value)
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12850
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15045
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:20020
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16352
.lang.Override boolean hasAddObjectiveCut()
Definition: SatParameters.java:18743
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14861
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:23092
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:19828
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16532
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:19003
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19578
Builder setLogSubsolverStatistics(boolean value)
Definition: SatParameters.java:15941
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:22402
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18269
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13305
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:20322
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17003
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:13034
.lang.Override boolean hasCutLevel()
Definition: SatParameters.java:18619
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:19625
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:16661
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:16968
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:14480
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:17039
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15534
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:21199
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:15002
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14994
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:18390
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17996
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12832
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:15193
Builder setDebugPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:17438
Builder setInitialVariablesActivity(double value)
Definition: SatParameters.java:13266
Builder setClauseCleanupOrdering(com.google.ortools.sat.SatParameters.ClauseOrdering value)
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13814
Builder clearOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18722
Builder setMaxDomainSizeWhenEncodingEqNeqConstraints(int value)
Definition: SatParameters.java:18516
Builder addAllRestartAlgorithms(java.lang.Iterable<? extends com.google.ortools.sat.SatParameters.RestartAlgorithm > values)
Definition: SatParameters.java:14551
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:13147
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:13131
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:16801
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:16371
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:16473
.lang.Override com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:11363
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:19218
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:16591
Builder clearMipMaxBound()
Definition: SatParameters.java:22769
Builder clearPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15796
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:15513
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14147
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:14240
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14500
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:13868
Builder clearLogSearchProgress()
Definition: SatParameters.java:15894
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:22071
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13352
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:19258
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:22788
.lang.Override double getMipMaxValidMagnitude()
Definition: SatParameters.java:23244
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19450
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:21077
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:14442
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:18466
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:15212
Builder clearLogSubsolverStatistics()
Definition: SatParameters.java:15957
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:17708
Builder clearHintConflictLimit()
Definition: SatParameters.java:19808
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:21243
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:21390
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:16817
Builder clearAddObjectiveCut()
Definition: SatParameters.java:18793
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:22367
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:22339
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:15637
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19431
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17021
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13804
Builder clearVariableActivityDecay()
Definition: SatParameters.java:14134
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:15384
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21502
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16277
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:16901
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:21557
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:13050
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15106
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:16455
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16309
.lang.Override boolean hasClauseCleanupRatio()
Definition: SatParameters.java:13638
Builder clearAddMirCuts()
Definition: SatParameters.java:18911
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:17767
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:22430
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18229
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:19695
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:17111
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:21910
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:21629
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:14029
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:15571
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:14677
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:20200
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:15710
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:15615
.lang.Override boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19893
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:16927
.lang.Override boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20510
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14394
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:15485
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:21030
Builder setClauseCleanupRatio(double value)
Definition: SatParameters.java:13666
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:21798
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14269
Builder clearName()
Definition: SatParameters.java:12757
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:23035
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:16225
Builder clearRestartAlgorithms()
Definition: SatParameters.java:14575
.lang.Override boolean hasUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:18290
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:20741
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:21097
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:19613
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:15879
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15778
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17910
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:16787
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:22010
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:20288
.lang.Override Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:12646
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:20081
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:21060
.lang.Override Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12073
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17977
Builder setEnumerateAllSolutions(boolean value)
Definition: SatParameters.java:20758
Builder setUseTimetableEdgeFindingInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18167
Builder setMinimizeWithPropagationRestartPeriod(int value)
Definition: SatParameters.java:13992
Builder clearPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17391
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:18375
Builder clearMipVarScaling()
Definition: SatParameters.java:22832
Builder setStopAfterFirstSolution(boolean value)
Definition: SatParameters.java:21185
Builder setPresolveBveThreshold(int value)
Definition: SatParameters.java:16439
Builder setUseProbingSearch(boolean value)
Definition: SatParameters.java:20348
Builder setShareObjectiveBounds(boolean value)
Definition: SatParameters.java:21543
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13796
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18186
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21429
Builder clearDisableConstraintExpansion()
Definition: SatParameters.java:17139
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:19182
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19753
.lang.Override Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:12089
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:21755
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:14335
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19376
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:23017
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14973
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:21519
Builder setName(java.lang.String value)
Definition: SatParameters.java:12738
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:13546
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:16956
Builder clearSymmetryLevel()
Definition: SatParameters.java:22706
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:15256
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:22659
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:22950
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:19541
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:16773
Builder setOptimizeWithLbTreeSearch(boolean value)
Definition: SatParameters.java:20542
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:15278
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:13578
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:18870
.lang.Override boolean hasDebugMaxNumPresolveOperations()
Definition: SatParameters.java:17472
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:19080
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:17895
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:15368
java.lang.String getLogPrefix()
Definition: SatParameters.java:15984
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:23053
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:11349
boolean hasLogPrefix()
Definition: SatParameters.java:15973
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18150
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:17664
Builder setPermutePresolveConstraintOrder(boolean value)
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15786
.lang.Override final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23291
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17176
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:20627
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:20472
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:22595
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18075
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17160
.lang.Override boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20526
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:15866
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:12997
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:19682
Builder setLogToStdout(boolean value)
Definition: SatParameters.java:16106
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:17065
.lang.Override boolean hasLogToStdout()
Definition: SatParameters.java:16082
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:19066
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:19096
Builder clearCutLevel()
Definition: SatParameters.java:18663
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:13844
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:20649
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:14045
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:14078
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:20304
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:22929
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:13743
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19596
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:13194
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12789
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:18970
Builder clearMaxNumCuts()
Definition: SatParameters.java:18600
boolean hasName()
Definition: SatParameters.java:12680
.lang.Override boolean getLogToResponse()
Definition: SatParameters.java:16149
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17239
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:21045
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16392
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:15312
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:16499
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:14016
Builder clearCutCleanupTarget()
Definition: SatParameters.java:19651
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:12773
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:20335
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:15226
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:17052
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17851
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:19954
.lang.Override Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12095
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13505
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:21586
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21421
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:20457
Builder setExploitRelaxationSolution(boolean value)
Definition: SatParameters.java:20166
Builder setCpModelProbingLevel(int value)
Definition: SatParameters.java:16913
com.google.protobuf.ByteString getLogPrefixBytes()
Definition: SatParameters.java:16007
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13407
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:17676
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:13522
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:21767
.lang.Override boolean getLogSubsolverStatistics()
Definition: SatParameters.java:15927
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16262
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:18929
Builder clearUseBlockingRestart()
Definition: SatParameters.java:14934
.lang.Override int getRandomSeed()
Definition: SatParameters.java:15654
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:14918
Builder setFixVariablesToTheirHintedValue(boolean value)
Definition: SatParameters.java:19919
.lang.Override Builder clear()
Definition: SatParameters.java:10997
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17223
Builder clearUseImpliedBounds()
Definition: SatParameters.java:22509
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:20138
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:19794
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:21993
Builder setMipMaxValidMagnitude(double value)
Definition: SatParameters.java:23260
Builder setConvertIntervals(boolean value)
Definition: SatParameters.java:22623
Builder setCutCleanupTarget(int value)
Definition: SatParameters.java:19637
Builder clearAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:21144
Builder setAutoDetectGreaterThanAtLeastOneOf(boolean value)
Definition: SatParameters.java:21127
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13473
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:20610
Builder clearRandomSeed()
Definition: SatParameters.java:15690
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:14817
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:21531
Builder clearMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17953
Builder setInterleaveBatchSize(int value)
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21437
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:16195
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20422
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:22146
.lang.Override com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:11344
Builder clearFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19934
Builder clearCoverOptimization()
Definition: SatParameters.java:17808
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18058
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:18989
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14253
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:13784
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:12969
Builder setAddLpConstraintsLazily(boolean value)
Definition: SatParameters.java:19288
Builder setFpRounding(com.google.ortools.sat.SatParameters.FPRoundingMethod value)
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21866
Builder setVariableActivityDecay(double value)
Definition: SatParameters.java:14114
Builder clearConvertIntervals()
Definition: SatParameters.java:22639
Builder setExploitAllLpSolution(boolean value)
Definition: SatParameters.java:20048
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:13166
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:12983
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:19669
Builder clearLogToStdout()
Definition: SatParameters.java:16120
Builder clearCpModelPresolve()
Definition: SatParameters.java:16872
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:21374
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:16982
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18681
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:13117
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:19017
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:20580
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20856
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:18707
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:20777
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:21574
.lang.Override boolean getDebugPostsolveWithFullSolver()
Definition: SatParameters.java:17424
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18694
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:20877
Builder clearFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:21010
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:19843
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18133
Builder clearMipComputeTrueObjectiveBound()
Definition: SatParameters.java:23207
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13911
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13694
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:19527
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17011
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:14804
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19740
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:13210
Builder setBlockingRestartWindowSize(int value)
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14963
Builder setNumSearchWorkers(int value)
Definition: SatParameters.java:21317
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:14747
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:19052
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:18553
.lang.Override boolean hasMipMaxValidMagnitude()
Definition: SatParameters.java:23228
Builder clearMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17210
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14613
Builder setUseOptimizationHints(boolean value)
Definition: SatParameters.java:17618
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:14690
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:12888
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:19417
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:20442
Builder clearMipCheckPrecision()
Definition: SatParameters.java:23136
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:20034
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:13769
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:13604
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:18811
.lang.Override boolean getMipComputeTrueObjectiveBound()
Definition: SatParameters.java:23173
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20394
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:15725
Builder clearLogPrefix()
Definition: SatParameters.java:16046
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:15165
Builder clearDebugCrashOnBadHint()
Definition: SatParameters.java:17568
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:17284
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13725
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:22240
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17828
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:12110
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18092
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:13084
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20381
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:23073
Builder clearCatchSigintSignal()
Definition: SatParameters.java:22446
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:16889
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16573
Builder clearSearchRandomizationTolerance()
Definition: SatParameters.java:22127
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14594
.lang.Override boolean hasFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:20951
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:15352
Builder clearNumSearchWorkers()
Definition: SatParameters.java:21337
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15526
Builder clearMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18533
Builder clearUseLnsOnly()
Definition: SatParameters.java:21667
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:20666
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:13066
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:13591
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:20702
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:13232
Builder clearUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:18340
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:17652
Builder setTreatBinaryClausesSeparately(boolean value)
Definition: SatParameters.java:15599
Builder clearMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:14055
Builder setCutLevel(int value)
Definition: SatParameters.java:18647
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:20724
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:14347
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21447
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:17793
.lang.Override int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18501
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17338
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21848
Builder clearUsePbResolution()
Definition: SatParameters.java:16242
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18248
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:22383
Builder setSymmetryLevel(int value)
Definition: SatParameters.java:22689
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:18583
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:21299
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14386
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14853
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:22290
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:16632
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22869
Builder clearClauseCleanupTarget()
Definition: SatParameters.java:13619
Builder clearAddCliqueCuts()
Definition: SatParameters.java:19033
Builder clearPolarityRephaseIncrement()
Definition: SatParameters.java:13013
Builder setMaxTimeInSeconds(double value)
Definition: SatParameters.java:15178
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19464
Builder setDisableConstraintExpansion(boolean value)
Definition: SatParameters.java:17124
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:19143
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:15585
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:20152
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:20105
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:22802
.lang.Override double getClauseCleanupRatio()
Definition: SatParameters.java:13652
Builder clearMinimizeCore()
Definition: SatParameters.java:17690
Builder setRandomSeed(int value)
Definition: SatParameters.java:15671
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:21822
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:18438
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19722
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:22544
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:13882
Builder clearSolutionPoolSize()
Definition: SatParameters.java:21726
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15809
Builder clearInterleaveSearch()
Definition: SatParameters.java:21408
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:15433
Builder clearExploitObjective()
Definition: SatParameters.java:20241
Builder clearUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:18036
Builder clearMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17249
Builder clearFindMultipleCores()
Definition: SatParameters.java:17749
.lang.Override Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:12101
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:16737
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:20274
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:15059
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:20001
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:22210
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10975
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:20064
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20800
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16333
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13372
Builder clearFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21879
Builder setGlucoseDecayIncrementPeriod(int value)
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14308
Builder setUseBranchingInLp(boolean value)
Definition: SatParameters.java:22304
Builder setMipComputeTrueObjectiveBound(boolean value)
Definition: SatParameters.java:23189
Builder clearLinearizationLevel()
Definition: SatParameters.java:18407
Builder clearUseBranchingInLp()
Definition: SatParameters.java:22320
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:12641
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:21358
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:21173
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13903
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14318
Builder clearUseExactLpReason()
Definition: SatParameters.java:22257
Builder setMipVarScaling(double value)
Definition: SatParameters.java:22816
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:16292
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16545
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:13249
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:18837
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15031
Builder setSolutionPoolSize(int value)
Definition: SatParameters.java:21711
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:22416
Builder clearUseOptimizationHints()
Definition: SatParameters.java:17635
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:18425
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:15152
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18210
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:19770
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:16722
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:16514
Builder clearUseOptionalVariables()
Definition: SatParameters.java:22190
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14261
Builder setDefaultRestartAlgorithmsBytes(com.google.protobuf.ByteString value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14655
Builder clearMaxNumberOfConflicts()
Definition: SatParameters.java:15331
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14845
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:16486
.lang.Override boolean getLogToStdout()
Definition: SatParameters.java:16094
Builder clearMipMaxValidMagnitude()
Definition: SatParameters.java:23278
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14155
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17820
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:23106
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:18568
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13921
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:14832
.lang.Override boolean hasSolutionPoolSize()
Definition: SatParameters.java:21685
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:19358
.lang.Override int getSolutionPoolSize()
Definition: SatParameters.java:21698
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:16649
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:17603
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:19782
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:13534
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:22089
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:17098
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19393
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:14193
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14412
.lang.Override boolean hasLogToResponse()
Definition: SatParameters.java:16137
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:22465
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:17734
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:16754
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:19513
Builder setAddObjectiveCut(boolean value)
Definition: SatParameters.java:18775
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17922
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12840
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14279
Builder setUseAbslRandom(boolean value)
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15825
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:18015
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:21897
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:15119
Builder clearExploitBestSolution()
Definition: SatParameters.java:20119
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:22353
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:14223
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:18451
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:14759
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13895
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17355
Builder setMaxClauseActivityValue(double value)
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14402
Builder setUseLnsOnly(boolean value)
Definition: SatParameters.java:21653
Builder setFillTightenedDomainsInResponse(boolean value)
Definition: SatParameters.java:20909
Builder clearRestartRunningWindowSize()
Definition: SatParameters.java:14773
Builder clearNewConstraintsBatchSize()
Definition: SatParameters.java:19710
Builder clearClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13827
Builder clearDebugMaxNumPresolveOperations()
Definition: SatParameters.java:17513
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:16558
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20818
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15075
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:22559
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:14208
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19494
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19326
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:20260
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:19984
Builder setRepairHint(boolean value)
Definition: SatParameters.java:19858
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:16944
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:22609
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:14791
int getRestartAlgorithmsCount()
Definition: SatParameters.java:14461
Builder clearAddCgCuts()
Definition: SatParameters.java:18852
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13948
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:21979
Builder clearOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20560
Builder clearRandomizeSearch()
Definition: SatParameters.java:22048
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:18360
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:14359
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:21612
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14871
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21476
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:17269
java.lang.String getName()
Definition: SatParameters.java:12692
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13438
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:18824
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:16707
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14644
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:20093
Builder setDebugMaxNumPresolveOperations(int value)
Definition: SatParameters.java:17498
Builder clearClauseCleanupRatio()
Definition: SatParameters.java:13682
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:18955
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14292
Builder clearUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15835
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19342
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:16673
Builder setPermuteVariableRandomly(boolean value)
Definition: SatParameters.java:15740
.lang.Override boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:15913
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:14735
Builder clearPermuteVariableRandomly()
Definition: SatParameters.java:15757
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:22034
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15093
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14955
.lang.Override final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23285
Builder clearRepairHint()
Definition: SatParameters.java:19875
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:21967
Builder setRestartPeriod(int value)
Definition: SatParameters.java:14703
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:22725
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:14037
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15817
.lang.Override boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18486
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:17192
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:20407
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:20226
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:20893
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:13285
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:21923
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21856
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17231
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:21743
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:17080
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:20213
Builder clearOptimizeWithCore()
Definition: SatParameters.java:20489
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:20836
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:19238
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12863
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:19557
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:14890
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:22107
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19730
Builder setLogPrefix(java.lang.String value)
Definition: SatParameters.java:16028
.lang.Override boolean getAddObjectiveCut()
Definition: SatParameters.java:18759
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:21161
Builder clearUseRinsLns()
Definition: SatParameters.java:21781
Builder clearPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12820
Builder setMaxVariableActivityValue(double value)
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14163
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:15240
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:16411
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17930
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13320
Builder setUseCumulativeInNoOverlap2D(boolean value)
Definition: SatParameters.java:18322
.lang.Override Builder clone()
Definition: SatParameters.java:12069
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:16846
.lang.Override boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19906
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:20927
Builder setLogToResponse(boolean value)
Definition: SatParameters.java:16161
Builder clearPresolveUseBva()
Definition: SatParameters.java:16687
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14986
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:15402
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:17780
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21464
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:15459
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:20683
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13458
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:10969
Builder setFillAdditionalSolutionsInResponse(boolean value)
Definition: SatParameters.java:20989
Builder clearMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22903
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:16425
.lang.Override com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:11354
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:22479
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13395
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:19305
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:14096
Builder setClauseCleanupProtection(com.google.ortools.sat.SatParameters.ClauseProtection value)
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13712
Builder setUseImpliedBounds(boolean value)
Definition: SatParameters.java:22493
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:21641
.lang.Override int getCutLevel()
Definition: SatParameters.java:18633
Builder clearUseRelaxationLns()
Definition: SatParameters.java:21938
Builder clearUsePhaseSaving()
Definition: SatParameters.java:12950
Builder setPreferredVariableOrder(com.google.ortools.sat.SatParameters.VariableOrder value)
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12807
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:13856
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:16604
.lang.Override boolean hasDebugCrashOnBadHint()
Definition: SatParameters.java:17530
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17940
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16995
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13702
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:17316
.lang.Override boolean hasDebugPostsolveWithFullSolver()
Definition: SatParameters.java:17410
Builder clearMipWantedPrecision()
Definition: SatParameters.java:22994
Builder setDefaultRestartAlgorithms(java.lang.String value)
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14630
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17869
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:21217
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:21955
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:13756
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13425
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14526
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:21836
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19586
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13970
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:16834
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14587
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:17721
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:19200
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:13103
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:22529
Builder setLogPrefixBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:16061
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15552
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:12908
Builder setMinimizationAlgorithm(com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm value)
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13382
Builder setReduceMemoryUsageInInterleaveMode(boolean value)
Definition: SatParameters.java:21488
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:19129
Builder clearPolishLpSolution()
Definition: SatParameters.java:22576
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:18883
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:23120
.lang.Override boolean getDebugCrashOnBadHint()
Definition: SatParameters.java:17542
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:12716
.lang.Override boolean getFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:20970
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:20182
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17882
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:15295
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13364
Builder clearUseProbingSearch()
Definition: SatParameters.java:20363
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:22160
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14173
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:19159
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:22885
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:16210
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:19969
Builder setDebugCrashOnBadHint(boolean value)
Definition: SatParameters.java:17554
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:16617
.lang.Override int getDebugMaxNumPresolveOperations()
Definition: SatParameters.java:17485
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15770
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:18942
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:21598
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:19273
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15134
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:13180
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:21112
Builder clearDebugPostsolveWithFullSolver()
Definition: SatParameters.java:17454
Builder clearClauseCleanupPeriod()
Definition: SatParameters.java:13560
Builder setCpModelPresolve(boolean value)
Definition: SatParameters.java:16858
Builder setUsePhaseSaving(boolean value)
Definition: SatParameters.java:12928
Builder clearRestartPeriod()
Definition: SatParameters.java:14718
Builder setAlsoBumpVariablesInConflictReasons(boolean value)
Definition: SatParameters.java:13335
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:17588
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22853
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:15853
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:22674
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:22276
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:17372
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:17299
Builder clearClauseActivityDecay()
Definition: SatParameters.java:14373
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:22022
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:21281
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:19115
.lang.Override Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:12079
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:21810
Builder clearStopAfterPresolve()
Definition: SatParameters.java:21258
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:22739
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19570
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:14904
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:20595
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14300
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:18896
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:15012
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14947
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:22225
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19405
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:19478
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13415
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12797
Builder clearLogToResponse()
Definition: SatParameters.java:16175
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:22174
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18111
.lang.Override boolean hasMipComputeTrueObjectiveBound()
Definition: SatParameters.java:23157
.lang.Override boolean getUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:18306
.lang.Override Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:12084
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:21230
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6375
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7388
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3550
.lang.Override int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3916
.lang.Override boolean hasExploitAllLpSolution()
Definition: SatParameters.java:6357
.lang.Override boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4571
static final int PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER
Definition: SatParameters.java:4606
static final int MAX_NUM_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5624
.lang.Override boolean hasAddObjectiveCut()
Definition: SatParameters.java:5732
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5781
static final int CLAUSE_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3211
.lang.Override boolean hasMipCheckPrecision()
Definition: SatParameters.java:7867
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5416
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:7349
.lang.Override boolean hasRepairHint()
Definition: SatParameters.java:6263
.lang.Override boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4647
.lang.Override boolean getAddCliqueCuts()
Definition: SatParameters.java:5866
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2952
.lang.Override double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6143
.lang.Override boolean hasCatchSigintSignal()
Definition: SatParameters.java:7527
.lang.Override boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3065
.lang.Override boolean hasUseProbingSearch()
Definition: SatParameters.java:6505
.lang.Override boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4880
.lang.Override boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2932
.lang.Override boolean hasCutLevel()
Definition: SatParameters.java:5670
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7735
.lang.Override int getCutCleanupTarget()
Definition: SatParameters.java:6170
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:5319
.lang.Override boolean getPresolveUseBva()
Definition: SatParameters.java:4716
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3801
.lang.Override boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4896
.lang.Override double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4151
.lang.Override double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3885
.lang.Override boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5375
.lang.Override boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2830
static final int CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3155
static final int PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4996
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10881
static final int USE_IMPLIED_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7545
.lang.Override boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4618
.lang.Override boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4676
.lang.Override boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3467
.lang.Override java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3683
.lang.Override boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:7366
.lang.Override boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5985
.lang.Override boolean hasMipVarScaling()
Definition: SatParameters.java:7717
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:6147
.lang.Override double getMipMaxValidMagnitude()
Definition: SatParameters.java:7951
.lang.Override boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6079
.lang.Override boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3991
.lang.Override boolean hasFindMultipleCores()
Definition: SatParameters.java:5225
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10902
static final int FILL_ADDITIONAL_SOLUTIONS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6800
.lang.Override boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:7496
.lang.Override boolean hasRandomSeed()
Definition: SatParameters.java:4202
.lang.Override com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3303
.lang.Override boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4530
.lang.Override int getCpModelProbingLevel()
Definition: SatParameters.java:4834
.lang.Override double getRandomPolarityRatio()
Definition: SatParameters.java:2948
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3716
.lang.Override double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3945
.lang.Override boolean hasClauseCleanupRatio()
Definition: SatParameters.java:3224
.lang.Override boolean hasCoverOptimization()
Definition: SatParameters.java:5254
.lang.Override boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5490
.lang.Override boolean getDisableConstraintExpansion()
Definition: SatParameters.java:4938
.lang.Override boolean getUseRelaxationLns()
Definition: SatParameters.java:7291
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4838
.lang.Override boolean hasUseLnsOnly()
Definition: SatParameters.java:7148
.lang.Override boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3409
.lang.Override boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4168
.lang.Override boolean hasRestartPeriod()
Definition: SatParameters.java:3728
.lang.Override boolean hasExploitObjective()
Definition: SatParameters.java:6445
.lang.Override boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:4237
.lang.Override boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6294
.lang.Override com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3664
.lang.Override boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6599
.lang.Override double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3592
.lang.Override boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6855
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3355
.lang.Override boolean hasUseFeasibilityPump()
Definition: SatParameters.java:7231
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7083
.lang.Override int getMipMaxActivityExponent()
Definition: SatParameters.java:7850
.lang.Override boolean hasUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:5509
.lang.Override boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6722
.lang.Override boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6888
.lang.Override int getRestartAlgorithmsCount()
Definition: SatParameters.java:3644
.lang.Override boolean hasCutCleanupTarget()
Definition: SatParameters.java:6158
.lang.Override boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4271
.lang.Override int getMaxPresolveIterations()
Definition: SatParameters.java:4780
.lang.Override boolean hasRandomizeSearch()
Definition: SatParameters.java:7333
.lang.Override boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3675
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7704
.lang.Override boolean hasExploitBestSolution()
Definition: SatParameters.java:6386
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7037
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10914
.lang.Override boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5356
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:7266
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6493
.lang.Override int getLinearizationLevel()
Definition: SatParameters.java:5558
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3122
.lang.Override boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3296
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:3014
.lang.Override int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7052
.lang.Override boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5949
.lang.Override java.lang.String getLogPrefix()
Definition: SatParameters.java:4377
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:6222
.lang.Override boolean getUseRinsLns()
Definition: SatParameters.java:7216
.lang.Override boolean hasClauseActivityDecay()
Definition: SatParameters.java:3561
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7770
.lang.Override boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7832
.lang.Override boolean hasShareObjectiveBounds()
Definition: SatParameters.java:7094
.lang.Override boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4861
.lang.Override boolean hasLogPrefix()
Definition: SatParameters.java:4365
.lang.Override boolean hasSymmetryLevel()
Definition: SatParameters.java:7654
.lang.Override double getMipWantedPrecision()
Definition: SatParameters.java:7811
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:7322
.lang.Override boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4766
.lang.Override boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:4025
.lang.Override boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3194
.lang.Override boolean hasAddMirCuts()
Definition: SatParameters.java:5793
.lang.Override boolean hasDebugMaxNumPresolveOperations()
Definition: SatParameters.java:5109
static final int LOG_TO_STDOUT_FIELD_NUMBER
Definition: SatParameters.java:4414
.lang.Override long getMaxMemoryInMb()
Definition: SatParameters.java:4077
.lang.Override com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:23331
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:3051
static final int COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER
Definition: SatParameters.java:4534
static final int USE_RINS_LNS_FIELD_NUMBER
Definition: SatParameters.java:7193
.lang.Override boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5449
.lang.Override boolean getMinimizeCore()
Definition: SatParameters.java:5209
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:5213
.lang.Override double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4973
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6963
.lang.Override Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:10950
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3920
.lang.Override boolean hasConvertIntervals()
Definition: SatParameters.java:7622
.lang.Override boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5412
.lang.Override boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4957
.lang.Override boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6615
.lang.Override boolean getLogSearchProgress()
Definition: SatParameters.java:4319
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3460
.lang.Override int getNewConstraintsBatchSize()
Definition: SatParameters.java:6199
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:10940
.lang.Override boolean hasLogToStdout()
Definition: SatParameters.java:4425
.lang.Override int getMaxAllDiffCutSize()
Definition: SatParameters.java:5897
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5839
.lang.Override boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3320
.lang.Override boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6668
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:10921
.lang.Override boolean hasVariableActivityDecay()
Definition: SatParameters.java:3438
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6874
.lang.Override boolean hasMipWantedPrecision()
Definition: SatParameters.java:7790
.lang.Override boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3273
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:5242
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6907
.lang.Override boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2811
.lang.Override boolean getLogToResponse()
Definition: SatParameters.java:4464
.lang.Override boolean getInstantiateAllVariables()
Definition: SatParameters.java:6870
.lang.Override boolean getUseProbingSearch()
Definition: SatParameters.java:6518
.lang.Override double getMaxDeterministicTime()
Definition: SatParameters.java:4005
.lang.Override boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4909
.lang.Override boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:6325
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3870
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6934
.lang.Override java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3624
.lang.Override boolean getShareLevelZeroBounds()
Definition: SatParameters.java:7133
.lang.Override boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7044
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3290
static final int DEBUG_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:5097
.lang.Override boolean getOptimizeWithCore()
Definition: SatParameters.java:6580
static final int FIX_VARIABLES_TO_THEIR_HINTED_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6282
.lang.Override boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3109
.lang.Override boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3166
.lang.Override boolean getLogSubsolverStatistics()
Definition: SatParameters.java:4350
.lang.Override boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4515
.lang.Override boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5822
.lang.Override int getRandomSeed()
Definition: SatParameters.java:4219
static final int LOG_SUBSOLVER_STATISTICS_FIELD_NUMBER
Definition: SatParameters.java:4323
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:23306
static final int MIP_COMPUTE_TRUE_OBJECTIVE_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7885
.lang.Override boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4984
.lang.Override boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:6415
.lang.Override boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3151
static final int USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5453
static com.google.ortools.sat.SatParameters parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10891
.lang.Override java.lang.String getName()
Definition: SatParameters.java:2767
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6462
.lang.Override boolean getShareObjectiveBounds()
Definition: SatParameters.java:7106
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5271
.lang.Override boolean hasUsePbResolution()
Definition: SatParameters.java:4482
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3889
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3084
.lang.Override boolean hasUseOptionalVariables()
Definition: SatParameters.java:7401
static final int PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4635
static final int BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3851
.lang.Override boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5395
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:5186
.lang.Override boolean hasAddCliqueCuts()
Definition: SatParameters.java:5852
.lang.Override boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3519
.lang.Override boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2899
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4294
.lang.Override boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2996
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:5029
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5932
.lang.Override int getPolarityRephaseIncrement()
Definition: SatParameters.java:2913
.lang.Override boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:6186
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:6066
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6097
.lang.Override boolean getInterleaveSearch()
Definition: SatParameters.java:7033
.lang.Override boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5700
.lang.Override double getRandomBranchesRatio()
Definition: SatParameters.java:2979
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:6249
.lang.Override boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6633
.lang.Override boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:7121
static final int MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:6004
static final int PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBER
Definition: SatParameters.java:4256
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7673
.lang.Override boolean getDebugPostsolveWithFullSolver()
Definition: SatParameters.java:5093
.lang.Override boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5713
.lang.Override boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6780
.lang.Override boolean getRepairHint()
Definition: SatParameters.java:6278
.lang.Override boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5432
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4865
.lang.Override boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3248
.lang.Override double getCutMaxActiveCountValue()
Definition: SatParameters.java:6124
.lang.Override double getRestartDlAverageRatio()
Definition: SatParameters.java:3797
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:5153
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2886
.lang.Override int getRestartRunningWindowSize()
Definition: SatParameters.java:3768
.lang.Override boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5883
.lang.Override boolean hasMaxNumCuts()
Definition: SatParameters.java:5638
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4468
.lang.Override boolean hasMipMaxValidMagnitude()
Definition: SatParameters.java:7935
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4753
.lang.Override int getRestartPeriod()
Definition: SatParameters.java:3741
.lang.Override boolean hasUsePhaseSaving()
Definition: SatParameters.java:2862
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4009
.lang.Override boolean hasOptimizeWithCore()
Definition: SatParameters.java:6565
.lang.Override boolean getExploitAllLpSolution()
Definition: SatParameters.java:6371
.lang.Override boolean hasAddCgCuts()
Definition: SatParameters.java:5764
.lang.Override boolean getMipComputeTrueObjectiveBound()
Definition: SatParameters.java:7916
.lang.Override long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6547
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:7483
.lang.Override boolean getPermuteVariableRandomly()
Definition: SatParameters.java:4252
.lang.Override double getMaxTimeInSeconds()
Definition: SatParameters.java:3974
.lang.Override int getPresolveSubstitutionLevel()
Definition: SatParameters.java:5025
.lang.Override com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5284
.lang.Override boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6534
.lang.Override boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4822
static final int DEBUG_CRASH_ON_BAD_HINT_FIELD_NUMBER
Definition: SatParameters.java:5126
.lang.Override Builder toBuilder()
Definition: SatParameters.java:10944
.lang.Override boolean hasFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:6818
.lang.Override boolean hasMaxMemoryInMb()
Definition: SatParameters.java:4061
.lang.Override boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4143
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2742
.lang.Override boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6685
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5338
.lang.Override Builder newBuilderForType()
Definition: SatParameters.java:10936
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10870
static final int MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3577
.lang.Override int getClauseCleanupTarget()
Definition: SatParameters.java:3207
.lang.Override boolean hasInitialVariablesActivity()
Definition: SatParameters.java:3030
.lang.Override boolean hasMinimizeCore()
Definition: SatParameters.java:5197
.lang.Override boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6705
.lang.Override double getClauseActivityDecay()
Definition: SatParameters.java:3573
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7576
.lang.Override int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5620
.lang.Override boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5045
.lang.Override boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7253
.lang.Override void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7967
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3512
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4575
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3596
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3531
.lang.Override int getSerializedSize()
Definition: SatParameters.java:8483
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6726
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3261
.lang.Override int getNumSearchWorkers()
Definition: SatParameters.java:6998
.lang.Override boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3584
.lang.Override double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3816
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3949
.lang.Override boolean getUseBranchingInLp()
Definition: SatParameters.java:7479
.lang.Override boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7766
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:7220
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4884
static final int TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER
Definition: SatParameters.java:4155
static final int PRESOLVE_USE_BVA_FIELD_NUMBER
Definition: SatParameters.java:4693
.lang.Override int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6093
.lang.Override boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4182
.lang.Override boolean getExploitRelaxationSolution()
Definition: SatParameters.java:6429
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:7137
.lang.Override double getMipVarScaling()
Definition: SatParameters.java:7731
static final int PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4720
.lang.Override double getClauseCleanupRatio()
Definition: SatParameters.java:3238
.lang.Override int getBooleanEncodingLevel()
Definition: SatParameters.java:5587
.lang.Override boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6209
.lang.Override boolean getPolishLpSolution()
Definition: SatParameters.java:7605
.lang.Override boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4282
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7815
.lang.Override boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:4106
static final int USE_CUMULATIVE_IN_NO_OVERLAP_2D_FIELD_NUMBER
Definition: SatParameters.java:5494
.lang.Override long getProbingPeriodAtRoot()
Definition: SatParameters.java:6489
.lang.Override boolean hasUseExactLpReason()
Definition: SatParameters.java:7433
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1159
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5901
.lang.Override boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6743
.lang.Override boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4552
.lang.Override com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3097
.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:150
.lang.Override final boolean isInitialized()
Definition: SatParameters.java:7957
.lang.Override boolean hasInterleaveSearch()
Definition: SatParameters.java:7017
.lang.Override boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6930
.lang.Override double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3351
static final int DEBUG_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:5066
.lang.Override double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4660
.lang.Override double getInitialVariablesActivity()
Definition: SatParameters.java:3047
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6344
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:7514
.lang.Override boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3902
.lang.Override boolean getCatchSigintSignal()
Definition: SatParameters.java:7541
.lang.Override boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5574
.lang.Override boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3961
.lang.Override boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5471
.lang.Override boolean hasHintConflictLimit()
Definition: SatParameters.java:6233
.lang.Override int getPresolveBvaThreshold()
Definition: SatParameters.java:4749
static final int CONVERT_INTERVALS_FIELD_NUMBER
Definition: SatParameters.java:7609
.lang.Override double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3527
static final int ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER
Definition: SatParameters.java:5971
static final int CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER
Definition: SatParameters.java:6128
.lang.Override boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3808
.lang.Override int getPresolveBveClauseWeight()
Definition: SatParameters.java:4631
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4136
.lang.Override boolean getLogToStdout()
Definition: SatParameters.java:4437
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:10909
.lang.Override double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3475
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10927
.lang.Override boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5277
.lang.Override double getMipCheckPrecision()
Definition: SatParameters.java:7881
.lang.Override int getMaxNumCuts()
Definition: SatParameters.java:5653
.lang.Override boolean hasSolutionPoolSize()
Definition: SatParameters.java:7176
static final int SYMMETRY_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:7640
.lang.Override int getSolutionPoolSize()
Definition: SatParameters.java:7189
.lang.Override boolean hasPresolveUseBva()
Definition: SatParameters.java:4704
static final int ADD_OBJECTIVE_CUT_FIELD_NUMBER
Definition: SatParameters.java:5717
.lang.Override boolean getUseOptimizationHints()
Definition: SatParameters.java:5182
.lang.Override int getHintConflictLimit()
Definition: SatParameters.java:6245
.lang.Override int getClauseCleanupPeriod()
Definition: SatParameters.java:3178
.lang.Override long getSearchRandomizationTolerance()
Definition: SatParameters.java:7384
static final int LOG_TO_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4441
.lang.Override boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:4925
.lang.Override boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6050
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4186
.lang.Override boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3493
.lang.Override boolean hasLogToResponse()
Definition: SatParameters.java:4452
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:4046
.lang.Override boolean hasUseImpliedBounds()
Definition: SatParameters.java:7558
.lang.Override boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:6110
.lang.Override boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5325
static final int FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6765
static final int RANDOM_POLARITY_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2917
.lang.Override com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2837
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4081
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6311
.lang.Override boolean hasUseRelaxationLns()
Definition: SatParameters.java:7278
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5688
.lang.Override boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:7510
.lang.Deprecated static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:23311
.lang.Override boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3343
.lang.Override boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5062
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:6203
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6619
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:10865
.lang.Override boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6761
.lang.Override double getGlucoseMaxDecay()
Definition: SatParameters.java:3508
.lang.Override boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6019
.lang.Override boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6475
static final int USE_ABSL_RANDOM_FIELD_NUMBER
Definition: SatParameters.java:4275
.lang.Override boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4849
.lang.Override boolean getConvertIntervals()
Definition: SatParameters.java:7636
.lang.Override boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3784
.lang.Override int hashCode()
Definition: SatParameters.java:10056
.lang.Override boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3376
.lang.Override com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:23326
.lang.Override boolean hasLinearizationLevel()
Definition: SatParameters.java:5543
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:7002
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6689
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3242
.lang.Override boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7079
.lang.Override boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:5010
.lang.Override boolean getAddCgCuts()
Definition: SatParameters.java:5777
.lang.Override boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4734
.lang.Override boolean getExploitBestSolution()
Definition: SatParameters.java:6398
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4664
.lang.Override com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2792
.lang.Override boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3538
.lang.Override double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6035
.lang.Override boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:4336
.lang.Override boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3756
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4977
.lang.Override boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3932
.lang.Override int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3866
.lang.Override boolean getDiversifyLnsParams()
Definition: SatParameters.java:7318
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:23321
.lang.Override boolean hasMipMaxBound()
Definition: SatParameters.java:7686
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3820
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3421
.lang.Override int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3417
.lang.Override boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4290
.lang.Override boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5605
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5752
.lang.Override boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6796
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6841
.lang.Override com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7260
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6174
.lang.Override double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4992
.lang.Override boolean hasUseRinsLns()
Definition: SatParameters.java:7204
.lang.Override boolean getExploitObjective()
Definition: SatParameters.java:6458
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5870
.lang.Override java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:143
.lang.Override boolean hasUseBlockingRestart()
Definition: SatParameters.java:3833
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3668
.lang.Override com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6216
.lang.Override boolean getAddObjectiveCut()
Definition: SatParameters.java:5748
.lang.Override boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6918
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4811
static final int CP_MODEL_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4784
static final int PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:6522
static final int USE_EXACT_LP_REASON_FIELD_NUMBER
Definition: SatParameters.java:7419
.lang.Override boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4588
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3479
.lang.Override com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5332
.lang.Override boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3080
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3745
.lang.Override boolean getCpModelPresolve()
Definition: SatParameters.java:4807
.lang.Override boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6307
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3336
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2824
.lang.Override boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3877
.lang.Override boolean getCoverOptimization()
Definition: SatParameters.java:5267
.lang.Override boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7067
.lang.Override double getAbsoluteGapLimit()
Definition: SatParameters.java:4132
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5810
.lang.Override boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:9176
.lang.Override boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3136
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1153
.lang.Override int getPresolveBveThreshold()
Definition: SatParameters.java:4602
.lang.Override boolean getUseImpliedBounds()
Definition: SatParameters.java:7572
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3978
.lang.Override double getVariableActivityDecay()
Definition: SatParameters.java:3456
.lang.Override boolean getUseLnsOnly()
Definition: SatParameters.java:7160
.lang.Override int getCutLevel()
Definition: SatParameters.java:5684
.lang.Override int getPbCleanupIncrement()
Definition: SatParameters.java:3332
.lang.Override boolean getPresolveBlockedClause()
Definition: SatParameters.java:4689
static final int PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER
Definition: SatParameters.java:4223
.lang.Override boolean hasDebugCrashOnBadHint()
Definition: SatParameters.java:5137
.lang.Override boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4872
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3182
.lang.Override com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3255
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:10887
.lang.Override boolean hasDebugPostsolveWithFullSolver()
Definition: SatParameters.java:5079
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6652
.lang.Override boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5302
.lang.Override boolean hasStopAfterPresolve()
Definition: SatParameters.java:6946
.lang.Override boolean hasDiversifyLnsParams()
Definition: SatParameters.java:7306
.lang.Override int getClauseCleanupLbdBound()
Definition: SatParameters.java:3286
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4942
.lang.Override int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3398
.lang.Override boolean hasCpModelPresolve()
Definition: SatParameters.java:4795
.lang.Override boolean getFindMultipleCores()
Definition: SatParameters.java:5238
.lang.Override int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5967
.lang.Override boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2965
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5562
.lang.Override boolean hasPolishLpSolution()
Definition: SatParameters.java:7590
.lang.Override com.google.protobuf.ByteString getLogPrefixBytes()
Definition: SatParameters.java:4401
.lang.Override boolean getUsePhaseSaving()
Definition: SatParameters.java:2882
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3402
.lang.Override boolean getAddLinMaxCuts()
Definition: SatParameters.java:5928
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:7056
.lang.Override boolean getAddMirCuts()
Definition: SatParameters.java:5806
.lang.Override boolean getDebugCrashOnBadHint()
Definition: SatParameters.java:5149
.lang.Override boolean getFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:6837
.lang.Override boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5315
.lang.Override long getMaxNumberOfConflicts()
Definition: SatParameters.java:4042
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:10897
.lang.Override boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3090
static final int LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5529
static final int LOG_PREFIX_FIELD_NUMBER
Definition: SatParameters.java:4354
.lang.Override boolean getUseOptionalVariables()
Definition: SatParameters.java:7415
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2983
.lang.Override boolean getUsePbResolution()
Definition: SatParameters.java:4497
.lang.Override boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:6340
static Builder newBuilder()
Definition: SatParameters.java:10937
.lang.Override int getDebugMaxNumPresolveOperations()
Definition: SatParameters.java:5122
.lang.Override boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4263
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6402
.lang.Override boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5835
.lang.Override boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:6000
.lang.Override boolean getUseErwaHeuristic()
Definition: SatParameters.java:3010
.lang.Override boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6903
.lang.Override boolean hasUseOptimizationHints()
Definition: SatParameters.java:5167
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3772
.lang.Override boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7750
static final int MAX_DOMAIN_SIZE_WHEN_ENCODING_EQ_NEQ_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5591
.lang.Override boolean hasLogSearchProgress()
Definition: SatParameters.java:4306
.lang.Override int getSymmetryLevel()
Definition: SatParameters.java:7669
.lang.Override boolean hasUseBranchingInLp()
Definition: SatParameters.java:7465
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:7247
static final int OPTIMIZE_WITH_CORE_FIELD_NUMBER
Definition: SatParameters.java:6551
static final int CUT_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5657
static final int MIP_MAX_VALID_MAGNITUDE_FIELD_NUMBER
Definition: SatParameters.java:7920
.lang.Override boolean getRandomizeSearch()
Definition: SatParameters.java:7345
.lang.Override boolean hasNumSearchWorkers()
Definition: SatParameters.java:6980
.lang.Override boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5914
.lang.Override boolean getUseFeasibilityPump()
Definition: SatParameters.java:7243
.lang.Override double getMipMaxBound()
Definition: SatParameters.java:7700
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.ByteString data)
Definition: SatParameters.java:10876
static final int MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4501
.lang.Override boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6135
static final int DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER
Definition: SatParameters.java:4913
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2805
.lang.Override boolean getUseBlockingRestart()
Definition: SatParameters.java:3847
.lang.Override int getBinarySearchNumConflicts()
Definition: SatParameters.java:6648
.lang.Override int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3546
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7854
.lang.Override boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3858
.lang.Override boolean getUseExactLpReason()
Definition: SatParameters.java:7448
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3103
.lang.Override int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6062
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:7452
.lang.Override boolean hasName()
Definition: SatParameters.java:2754
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2843
.lang.Override com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3116
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:6039
.lang.Override com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2818
static final int DIVERSIFY_LNS_PARAMS_FIELD_NUMBER
Definition: SatParameters.java:7295
static final int PB_CLEANUP_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3309
static final int OPTIMIZE_WITH_LB_TREE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6584
static final int MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5290
.lang.Override boolean hasMipComputeTrueObjectiveBound()
Definition: SatParameters.java:7900
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:6433
static final int SOLUTION_POOL_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7164
.lang.Override boolean getUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:5525
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5379
.lang.Override com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3703
.lang.Override boolean getStopAfterPresolve()
Definition: SatParameters.java:6959
static final int SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7110
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1658
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition: SatParameters.java:1575
static BinaryMinizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1626
.lang.Deprecated static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1618
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition: SatParameters.java:1579
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1650
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition: SatParameters.java:1583
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1654
static BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1664
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1638
final int getNumber()
Definition: SatParameters.java:1608
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1910
.lang.Deprecated static ClauseOrdering valueOf(int value)
Definition: SatParameters.java:1873
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > internalGetValueMap()
Definition: SatParameters.java:1890
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1902
static ClauseOrdering valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1916
CLAUSE_ACTIVITY
Definition: SatParameters.java:1834
static ClauseOrdering forNumber(int value)
Definition: SatParameters.java:1881
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1906
final int getNumber()
Definition: SatParameters.java:1863
CLAUSE_LBD
Definition: SatParameters.java:1842
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1793
PROTECTION_LBD
Definition: SatParameters.java:1716
PROTECTION_ALWAYS
Definition: SatParameters.java:1708
static ClauseProtection valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1799
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap()
Definition: SatParameters.java:1773
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1785
.lang.Deprecated static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1755
PROTECTION_NONE
Definition: SatParameters.java:1700
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1789
static ClauseProtection forNumber(int value)
Definition: SatParameters.java:1763
final int getNumber()
Definition: SatParameters.java:1745
Definition: SatParameters.java:1444
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1530
.lang.Deprecated static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1491
static com.google.protobuf.Internal.EnumLiteMap< ConflictMinimizationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:1510
static ConflictMinimizationAlgorithm forNumber(int value)
Definition: SatParameters.java:1499
static ConflictMinimizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1536
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1522
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1526
final int getNumber()
Definition: SatParameters.java:1481
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap()
Definition: SatParameters.java:2692
static FPRoundingMethod forNumber(int value)
Definition: SatParameters.java:2681
NEAREST_INTEGER
Definition: SatParameters.java:2586
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2712
static FPRoundingMethod valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2718
PROPAGATION_ASSISTED
Definition: SatParameters.java:2618
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2605
LOCK_BASED
Definition: SatParameters.java:2596
.lang.Deprecated static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2673
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2704
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2708
final int getNumber()
Definition: SatParameters.java:2663
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2182
static MaxSatAssumptionOrder forNumber(int value)
Definition: SatParameters.java:2152
.lang.Deprecated static MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2144
static MaxSatAssumptionOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2188
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2174
static com.google.protobuf.Internal.EnumLiteMap< MaxSatAssumptionOrder > internalGetValueMap()
Definition: SatParameters.java:2162
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2178
final int getNumber()
Definition: SatParameters.java:2134
Definition: SatParameters.java:2214
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2323
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2303
static MaxSatStratificationAlgorithm forNumber(int value)
Definition: SatParameters.java:2293
STRATIFICATION_DESCENT
Definition: SatParameters.java:2231
STRATIFICATION_ASCENT
Definition: SatParameters.java:2242
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2315
STRATIFICATION_NONE
Definition: SatParameters.java:2222
.lang.Deprecated static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2285
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2319
final int getNumber()
Definition: SatParameters.java:2275
static MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2329
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1412
static com.google.protobuf.Internal.EnumLiteMap< Polarity > internalGetValueMap()
Definition: SatParameters.java:1392
.lang.Deprecated static Polarity valueOf(int value)
Definition: SatParameters.java:1372
POLARITY_REVERSE_WEIGHTED_SIGN
Definition: SatParameters.java:1326
POLARITY_WEIGHTED_SIGN
Definition: SatParameters.java:1318
static Polarity valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1418
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1404
static Polarity forNumber(int value)
Definition: SatParameters.java:1380
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1408
final int getNumber()
Definition: SatParameters.java:1362
.lang.Deprecated static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:2033
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2073
LBD_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1974
FIXED_RESTART
Definition: SatParameters.java:1982
LUBY_RESTART
Definition: SatParameters.java:1958
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap()
Definition: SatParameters.java:2053
static RestartAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2079
static RestartAlgorithm forNumber(int value)
Definition: SatParameters.java:2041
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2065
DL_MOVING_AVERAGE_RESTART
Definition: SatParameters.java:1966
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2069
final int getNumber()
Definition: SatParameters.java:2023
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:2546
.lang.Deprecated static SearchBranching valueOf(int value)
Definition: SatParameters.java:2504
static com.google.protobuf.Internal.EnumLiteMap< SearchBranching > internalGetValueMap()
Definition: SatParameters.java:2526
static SearchBranching forNumber(int value)
Definition: SatParameters.java:2512
AUTOMATIC_SEARCH
Definition: SatParameters.java:2364
PORTFOLIO_WITH_QUICK_RESTART_SEARCH
Definition: SatParameters.java:2412
LP_SEARCH
Definition: SatParameters.java:2392
PORTFOLIO_SEARCH
Definition: SatParameters.java:2382
PSEUDO_COST_SEARCH
Definition: SatParameters.java:2402
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:2538
FIXED_SEARCH
Definition: SatParameters.java:2374
HINT_SEARCH
Definition: SatParameters.java:2422
static SearchBranching valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:2552
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:2542
final int getNumber()
Definition: SatParameters.java:2494
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor()
Definition: SatParameters.java:1259
static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > internalGetValueMap()
Definition: SatParameters.java:1239
IN_ORDER
Definition: SatParameters.java:1182
.lang.Deprecated static VariableOrder valueOf(int value)
Definition: SatParameters.java:1221
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()
Definition: SatParameters.java:1251
static VariableOrder valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
Definition: SatParameters.java:1265
static VariableOrder forNumber(int value)
Definition: SatParameters.java:1229
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()
Definition: SatParameters.java:1255
final int getNumber()
Definition: SatParameters.java:1211