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
boolean getStopAfterPresolve()
Definition: SatParameters.java:21230
Builder setMipWantedPrecision(double value)
Definition: SatParameters.java:22971
Builder setMipMaxBound(double value)
Definition: SatParameters.java:22753
boolean getDebugCrashOnBadHint()
Definition: SatParameters.java:17542
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
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:20724
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15106
Builder setRestartLbdAverageRatio(double value)
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14861
double getMipWantedPrecision()
Definition: SatParameters.java:22950
boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:19513
int getRandomSeed()
Definition: SatParameters.java:15654
boolean getLogToStdout()
Definition: SatParameters.java:16094
int getNumSearchWorkers()
Definition: SatParameters.java:21299
int getHintConflictLimit()
Definition: SatParameters.java:19782
Builder setLogSubsolverStatistics(boolean value)
Definition: SatParameters.java:15941
Builder clearUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18269
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:14193
final Builder mergeUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23291
boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:15710
com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21856
Builder setCpModelUseSatPresolve(boolean value)
Definition: SatParameters.java:16968
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:14480
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:13522
Builder clearStopAfterFirstSolution()
Definition: SatParameters.java:21199
Builder setBlockingRestartMultiplier(double value)
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:15002
Builder setLinearizationLevel(int value)
Definition: SatParameters.java:18390
Builder clearMaxTimeInSeconds()
Definition: SatParameters.java:15193
Builder setDebugPostsolveWithFullSolver(boolean value)
Definition: SatParameters.java:17438
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:20666
boolean hasDebugPostsolveWithFullSolver()
Definition: SatParameters.java:17410
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
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:17284
Builder clearRandomBranchesRatio()
Definition: SatParameters.java:13147
Builder setRandomBranchesRatio(double value)
Definition: SatParameters.java:13131
boolean hasSymmetryLevel()
Definition: SatParameters.java:22659
Builder setMaxPresolveIterations(int value)
Definition: SatParameters.java:16801
Builder setCountAssumptionLevelsInLbd(boolean value)
Definition: SatParameters.java:16371
Builder setMaxIntegerRoundingScaling(int value)
Definition: SatParameters.java:19218
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:13103
Builder clearMipMaxBound()
Definition: SatParameters.java:22769
boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:15433
Builder clearPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15796
Builder clearAbsoluteGapLimit()
Definition: SatParameters.java:15513
Builder clearGlucoseMaxDecay()
Definition: SatParameters.java:14240
Builder setRestartAlgorithms(int index, com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14500
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:16591
Builder setPbCleanupIncrement(int value)
Definition: SatParameters.java:13868
Builder clearLogSearchProgress()
Definition: SatParameters.java:15894
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13948
Builder clearAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13352
boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:21848
int getSymmetryLevel()
Definition: SatParameters.java:22674
boolean getRepairHint()
Definition: SatParameters.java:19843
Builder clearInstantiateAllVariables()
Definition: SatParameters.java:21077
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13458
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:14442
Builder clearBooleanEncodingLevel()
Definition: SatParameters.java:18466
Builder clearLogSubsolverStatistics()
Definition: SatParameters.java:15957
Builder clearHintConflictLimit()
Definition: SatParameters.java:19808
Builder setStopAfterPresolve(boolean value)
Definition: SatParameters.java:21243
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:19669
Builder setInterleaveSearch(boolean value)
Definition: SatParameters.java:21390
Builder clearMaxPresolveIterations()
Definition: SatParameters.java:16817
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17977
Builder clearAddObjectiveCut()
Definition: SatParameters.java:18793
com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:11349
Builder setUseCombinedNoOverlap(boolean value)
Definition: SatParameters.java:22367
Builder clearMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19431
Builder clearUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17021
Builder clearVariableActivityDecay()
Definition: SatParameters.java:14134
boolean hasMinimizeCore()
Definition: SatParameters.java:17652
boolean hasStopAfterPresolve()
Definition: SatParameters.java:21217
boolean hasInterleaveSearch()
Definition: SatParameters.java:21358
Builder setMaxMemoryInMb(long value)
Definition: SatParameters.java:15384
Builder clearReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21502
boolean hasCutLevel()
Definition: SatParameters.java:18619
boolean hasAddObjectiveCut()
Definition: SatParameters.java:18743
Builder clearShareObjectiveBounds()
Definition: SatParameters.java:21557
Builder clearPresolveBveThreshold()
Definition: SatParameters.java:16455
Builder clearMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16309
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18681
double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15534
Builder clearAddMirCuts()
Definition: SatParameters.java:18911
Builder setCatchSigintSignal(boolean value)
Definition: SatParameters.java:22430
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19450
Builder clearField(com.google.protobuf.Descriptors.FieldDescriptor field)
Definition: SatParameters.java:12079
Builder setNewConstraintsBatchSize(int value)
Definition: SatParameters.java:19695
boolean hasLogSearchProgress()
Definition: SatParameters.java:15853
boolean getFindMultipleCores()
Definition: SatParameters.java:17721
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19342
Builder clearTreatBinaryClausesSeparately()
Definition: SatParameters.java:15615
Builder clearCpModelProbingLevel()
Definition: SatParameters.java:16927
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:15278
Builder setAbsoluteGapLimit(double value)
Definition: SatParameters.java:15485
Builder setClauseCleanupRatio(double value)
Definition: SatParameters.java:13666
boolean getFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:20970
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:16944
Builder setGlucoseDecayIncrement(double value)
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14269
boolean getUsePbResolution()
Definition: SatParameters.java:16210
Builder clearName()
Definition: SatParameters.java:12757
Builder setUsePbResolution(boolean value)
Definition: SatParameters.java:16225
Builder clearRestartAlgorithms()
Definition: SatParameters.java:14575
double getRandomBranchesRatio()
Definition: SatParameters.java:13117
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14261
boolean hasAddCgCuts()
Definition: SatParameters.java:18811
boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22869
Builder setLogSearchProgress(boolean value)
Definition: SatParameters.java:15879
Builder clearMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17910
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:13034
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19730
final Builder setUnknownFields(final com.google.protobuf.UnknownFieldSet unknownFields)
Definition: SatParameters.java:23285
Builder setProbingPeriodAtRoot(long value)
Definition: SatParameters.java:20288
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:22071
Builder setInstantiateAllVariables(boolean value)
Definition: SatParameters.java:21060
boolean hasOptimizeWithCore()
Definition: SatParameters.java:20442
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13903
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13804
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:15352
com.google.ortools.sat.SatParameters build()
Definition: SatParameters.java:11354
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
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14394
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16545
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14845
Builder clearMipVarScaling()
Definition: SatParameters.java:22832
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:14791
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
boolean getUseExactLpReason()
Definition: SatParameters.java:22225
Builder clearUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18186
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18210
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16532
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17231
Builder clearDisableConstraintExpansion()
Definition: SatParameters.java:17139
double getGlucoseMaxDecay()
Definition: SatParameters.java:14208
Builder clearSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19753
Builder clearMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19376
Builder clearBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14973
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:20649
boolean getUseRelaxationLns()
Definition: SatParameters.java:21910
Builder setName(java.lang.String value)
Definition: SatParameters.java:12738
Builder setClauseCleanupPeriod(int value)
Definition: SatParameters.java:13546
Builder clearSymmetryLevel()
Definition: SatParameters.java:22706
boolean getUseErwaHeuristic()
Definition: SatParameters.java:13180
Builder clearMaxDeterministicTime()
Definition: SatParameters.java:15256
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15031
Builder setCutMaxActiveCountValue(double value)
Definition: SatParameters.java:19541
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:13743
int getPresolveBveClauseWeight()
Definition: SatParameters.java:16486
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:23017
Builder setOptimizeWithLbTreeSearch(boolean value)
Definition: SatParameters.java:20542
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14300
Builder setMaxAllDiffCutSize(int value)
Definition: SatParameters.java:19080
boolean getDisableConstraintExpansion()
Definition: SatParameters.java:17111
Builder setMaxSatReverseAssumptionOrder(boolean value)
Definition: SatParameters.java:17895
java.lang.String getLogPrefix()
Definition: SatParameters.java:15984
Builder setMipMaxActivityExponent(int value)
Definition: SatParameters.java:23053
boolean getPermuteVariableRandomly()
Definition: SatParameters.java:15725
boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17003
boolean hasLogPrefix()
Definition: SatParameters.java:15973
boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20510
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12789
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13305
Builder setPermutePresolveConstraintOrder(boolean value)
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15786
Builder clearBinarySearchNumConflicts()
Definition: SatParameters.java:20627
com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
Definition: SatParameters.java:11344
Builder setOptimizeWithCore(boolean value)
Definition: SatParameters.java:20472
long getMaxMemoryInMb()
Definition: SatParameters.java:15368
boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:16995
Builder setPolarityRephaseIncrement(int value)
Definition: SatParameters.java:12997
Builder setLogToStdout(boolean value)
Definition: SatParameters.java:16106
boolean hasMaxNumCuts()
Definition: SatParameters.java:18553
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:16707
Builder setExpandAlldiffConstraints(boolean value)
Definition: SatParameters.java:17065
double getCutMaxActiveCountValue()
Definition: SatParameters.java:19527
com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:10975
Builder clearMaxAllDiffCutSize()
Definition: SatParameters.java:19096
Builder clearCutLevel()
Definition: SatParameters.java:18663
Builder setMinimizeWithPropagationNumDecisions(int value)
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:14045
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:14037
Builder clearProbingPeriodAtRoot()
Definition: SatParameters.java:20304
boolean hasClauseActivityDecay()
Definition: SatParameters.java:14335
Builder clearCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19596
Builder setUseErwaHeuristic(boolean value)
Definition: SatParameters.java:13194
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:17269
Builder clearAddZeroHalfCuts()
Definition: SatParameters.java:18970
boolean getPolishLpSolution()
Definition: SatParameters.java:22544
int getDebugMaxNumPresolveOperations()
Definition: SatParameters.java:17485
Builder clearMaxNumCuts()
Definition: SatParameters.java:18600
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17176
double getMaxTimeInSeconds()
Definition: SatParameters.java:15165
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:16411
boolean hasName()
Definition: SatParameters.java:12680
Builder setMergeAtMostOneWorkLimit(double value)
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17239
Builder clearCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16392
Builder setMaxNumberOfConflicts(long value)
Definition: SatParameters.java:15312
double getMipVarScaling()
Definition: SatParameters.java:22802
Builder setPresolveBveClauseWeight(int value)
Definition: SatParameters.java:16499
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:13166
Builder clearMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:14016
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:21586
Builder clearCutCleanupTarget()
Definition: SatParameters.java:19651
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:15152
Builder setNameBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:12773
boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15778
Builder clone()
Definition: SatParameters.java:12069
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:21574
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:15212
double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19578
Builder clearMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17851
boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17355
int getBinarySearchNumConflicts()
Definition: SatParameters.java:20595
Builder clearSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13505
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:13232
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:13320
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:15585
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
Builder setMinimizeCore(boolean value)
Definition: SatParameters.java:17676
boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19906
Builder setUseRinsLns(boolean value)
Definition: SatParameters.java:21767
Builder clearUseBlockingRestart()
Definition: SatParameters.java:14934
int getPresolveBvaThreshold()
Definition: SatParameters.java:16722
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:21030
Builder setUseBlockingRestart(boolean value)
Definition: SatParameters.java:14918
Builder setFixVariablesToTheirHintedValue(boolean value)
Definition: SatParameters.java:19919
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:16956
boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:22853
Builder clearUseImpliedBounds()
Definition: SatParameters.java:22509
Builder setHintConflictLimit(int value)
Definition: SatParameters.java:19794
Builder clearDiversifyLnsParams()
Definition: SatParameters.java:21993
Builder setMipMaxValidMagnitude(double value)
Definition: SatParameters.java:23260
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:20893
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
boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15526
boolean hasClauseCleanupRatio()
Definition: SatParameters.java:13638
Builder setBinarySearchNumConflicts(int value)
Definition: SatParameters.java:20610
boolean getUseFeasibilityPump()
Definition: SatParameters.java:21810
boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:15770
Builder clearRandomSeed()
Definition: SatParameters.java:15690
Builder setRestartDlAverageRatio(double value)
Definition: SatParameters.java:14817
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:20741
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14994
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
boolean hasAddLinMaxCuts()
Definition: SatParameters.java:19115
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:13473
Builder clearPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20422
Builder mergeFrom(com.google.protobuf.Message other)
Definition: SatParameters.java:12101
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18075
Builder clearFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19934
Builder clearCoverOptimization()
Definition: SatParameters.java:17808
double getRestartDlAverageRatio()
Definition: SatParameters.java:14804
Builder clearClauseCleanupLbdBound()
Definition: SatParameters.java:13784
boolean getOptimizeWithCore()
Definition: SatParameters.java:20457
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
boolean hasMipCheckPrecision()
Definition: SatParameters.java:23092
boolean getUseImpliedBounds()
Definition: SatParameters.java:22479
boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20800
Builder clearLogToStdout()
Definition: SatParameters.java:16120
boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21421
Builder clearCpModelPresolve()
Definition: SatParameters.java:16872
Builder clearCpModelUseSatPresolve()
Definition: SatParameters.java:16982
int getBooleanEncodingLevel()
Definition: SatParameters.java:18438
Builder setAddCliqueCuts(boolean value)
Definition: SatParameters.java:19017
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:18425
Builder clearKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20856
Builder setOnlyAddCutsAtLevelZero(boolean value)
Definition: SatParameters.java:18707
Builder clearEnumerateAllSolutions()
Definition: SatParameters.java:20777
boolean getRandomizeSearch()
Definition: SatParameters.java:22022
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14292
int getLinearizationLevel()
Definition: SatParameters.java:18375
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15045
boolean getInstantiateAllVariables()
Definition: SatParameters.java:21045
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:21097
Builder clearFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:21010
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12832
boolean getAddLinMaxCuts()
Definition: SatParameters.java:19129
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:20580
Builder clearMipComputeTrueObjectiveBound()
Definition: SatParameters.java:23207
Builder setPbCleanupRatio(double value)
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13911
boolean hasPolishLpSolution()
Definition: SatParameters.java:22529
Builder setUseSatInprocessing(boolean value)
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:17011
Builder setSearchBranching(com.google.ortools.sat.SatParameters.SearchBranching value)
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19740
boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:15913
Builder clearUseErwaHeuristic()
Definition: SatParameters.java:13210
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:17160
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
int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18501
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:21112
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
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:19182
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:14986
boolean getLogSearchProgress()
Definition: SatParameters.java:15866
Builder setMaxCutRoundsAtLevelZero(int value)
Definition: SatParameters.java:19417
double getMipCheckPrecision()
Definition: SatParameters.java:23106
int getPbCleanupIncrement()
Definition: SatParameters.java:13856
Builder clearMipCheckPrecision()
Definition: SatParameters.java:23136
Builder clear()
Definition: SatParameters.java:10997
Builder setClauseCleanupLbdBound(int value)
Definition: SatParameters.java:13769
Builder setClauseCleanupTarget(int value)
Definition: SatParameters.java:13604
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:21955
boolean hasUseOptionalVariables()
Definition: SatParameters.java:22146
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21476
Builder clearLogPrefix()
Definition: SatParameters.java:16046
long getMaxNumberOfConflicts()
Definition: SatParameters.java:15295
Builder clearDebugCrashOnBadHint()
Definition: SatParameters.java:17568
double getClauseCleanupRatio()
Definition: SatParameters.java:13652
Builder clearClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13725
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:19273
boolean hasUseRelaxationLns()
Definition: SatParameters.java:21897
boolean hasNumSearchWorkers()
Definition: SatParameters.java:21281
Builder setUseExactLpReason(boolean value)
Definition: SatParameters.java:22240
boolean getDiversifyLnsParams()
Definition: SatParameters.java:21967
Builder mergeFrom(com.google.ortools.sat.SatParameters other)
Definition: SatParameters.java:12110
Builder setUseOverloadCheckerInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18092
boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:17052
Builder clearRandomPolarityRatio()
Definition: SatParameters.java:13084
boolean getInterleaveSearch()
Definition: SatParameters.java:21374
boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:20138
boolean getCatchSigintSignal()
Definition: SatParameters.java:22416
boolean getPresolveUseBva()
Definition: SatParameters.java:16661
int getMaxNumCuts()
Definition: SatParameters.java:18568
Builder clearMipMaxActivityExponent()
Definition: SatParameters.java:23073
Builder clearCatchSigintSignal()
Definition: SatParameters.java:22446
Builder clearPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:16573
int getCutLevel()
Definition: SatParameters.java:18633
boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15817
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
Builder clearNumSearchWorkers()
Definition: SatParameters.java:21337
Builder clearMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18533
Builder clearUseLnsOnly()
Definition: SatParameters.java:21667
Builder setRandomPolarityRatio(double value)
Definition: SatParameters.java:13066
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17930
int getClauseCleanupTarget()
Definition: SatParameters.java:13591
Builder clearOptimizeWithMaxHs()
Definition: SatParameters.java:20702
Builder setRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value)
Definition: SatParameters.java:12089
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:21161
Builder clearUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:18340
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:22339
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
boolean hasCpModelPresolve()
Definition: SatParameters.java:16834
Builder clearInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21447
Builder setCoverOptimization(boolean value)
Definition: SatParameters.java:17793
Builder clearUsePbResolution()
Definition: SatParameters.java:16242
int getCutCleanupTarget()
Definition: SatParameters.java:19625
Builder setUseDisjunctiveConstraintInCumulativeConstraint(boolean value)
Definition: SatParameters.java:18248
boolean hasUsePhaseSaving()
Definition: SatParameters.java:12888
Builder clearUseCombinedNoOverlap()
Definition: SatParameters.java:22383
int getSolutionPoolSize()
Definition: SatParameters.java:21698
Builder setSymmetryLevel(int value)
Definition: SatParameters.java:22689
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20394
boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:17338
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18133
Builder setMaxNumCuts(int value)
Definition: SatParameters.java:18583
double getVariableActivityDecay()
Definition: SatParameters.java:14096
Builder clearPresolveBlockedClause()
Definition: SatParameters.java:16632
int getClauseCleanupPeriod()
Definition: SatParameters.java:13534
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
boolean getUsePhaseSaving()
Definition: SatParameters.java:12908
boolean hasUseRinsLns()
Definition: SatParameters.java:21743
Builder setDisableConstraintExpansion(boolean value)
Definition: SatParameters.java:17124
Builder setAddLinMaxCuts(boolean value)
Definition: SatParameters.java:19143
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13364
boolean hasRandomizeSearch()
Definition: SatParameters.java:22010
Builder setExploitBestSolution(boolean value)
Definition: SatParameters.java:20105
boolean hasUseLnsOnly()
Definition: SatParameters.java:21629
int getNewConstraintsBatchSize()
Definition: SatParameters.java:19682
com.google.ortools.sat.SatParameters.VariableOrder getPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:12797
boolean getUseProbingSearch()
Definition: SatParameters.java:20335
Builder clearMinimizeCore()
Definition: SatParameters.java:17690
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14947
Builder setRandomSeed(int value)
Definition: SatParameters.java:15671
Builder setUseFeasibilityPump(boolean value)
Definition: SatParameters.java:21822
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:17223
boolean hasFindMultipleCores()
Definition: SatParameters.java:17708
Builder clearPbCleanupIncrement()
Definition: SatParameters.java:13882
Builder clearSolutionPoolSize()
Definition: SatParameters.java:21726
Builder clearInterleaveSearch()
Definition: SatParameters.java:21408
boolean getAddObjectiveCut()
Definition: SatParameters.java:18759
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
Builder setPresolveBvaThreshold(int value)
Definition: SatParameters.java:16737
boolean getUseBlockingRestart()
Definition: SatParameters.java:14904
Builder setNumConflictsBeforeStrategyChanges(int value)
Definition: SatParameters.java:15059
Builder clearExploitIntegerLpSolution()
Definition: SatParameters.java:20001
Builder clearExploitAllLpSolution()
Definition: SatParameters.java:20064
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
boolean getAddCliqueCuts()
Definition: SatParameters.java:19003
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16333
Builder setField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12073
boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:19893
Builder clearGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:14318
Builder clearUseExactLpReason()
Definition: SatParameters.java:22257
boolean getPresolveBlockedClause()
Definition: SatParameters.java:16604
Builder setMipVarScaling(double value)
Definition: SatParameters.java:22816
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:18694
boolean getUseRinsLns()
Definition: SatParameters.java:21755
Builder setMinimizeReductionDuringPbResolution(boolean value)
Definition: SatParameters.java:16292
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:20877
Builder setAddCgCuts(boolean value)
Definition: SatParameters.java:18837
int getClauseCleanupLbdBound()
Definition: SatParameters.java:13756
boolean getUseBranchingInLp()
Definition: SatParameters.java:22290
int getPresolveBveThreshold()
Definition: SatParameters.java:16425
Builder setSolutionPoolSize(int value)
Definition: SatParameters.java:21711
Builder clearUseOptimizationHints()
Definition: SatParameters.java:17635
boolean hasUseFeasibilityPump()
Definition: SatParameters.java:21798
int getMaxAllDiffCutSize()
Definition: SatParameters.java:19066
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:19969
Builder clearPresolveBveClauseWeight()
Definition: SatParameters.java:16514
Builder clearUseOptionalVariables()
Definition: SatParameters.java:22190
boolean hasVariableActivityDecay()
Definition: SatParameters.java:14078
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
boolean hasUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:18290
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18058
Builder clearMipMaxValidMagnitude()
Definition: SatParameters.java:23278
boolean hasUsePbResolution()
Definition: SatParameters.java:16195
Builder clearPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13921
Builder clearRestartDlAverageRatio()
Definition: SatParameters.java:14832
Builder setMinOrthogonalityForLpConstraints(double value)
Definition: SatParameters.java:19358
boolean hasSolutionPoolSize()
Definition: SatParameters.java:21685
boolean hasMipComputeTrueObjectiveBound()
Definition: SatParameters.java:23157
double getMipMaxBound()
Definition: SatParameters.java:22739
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:14029
boolean hasRestartPeriod()
Definition: SatParameters.java:14677
boolean hasDebugMaxNumPresolveOperations()
Definition: SatParameters.java:17472
Builder clearMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14412
boolean getShareObjectiveBounds()
Definition: SatParameters.java:21531
boolean hasUseImpliedBounds()
Definition: SatParameters.java:22465
Builder setFindMultipleCores(boolean value)
Definition: SatParameters.java:17734
Builder clearPresolveBvaThreshold()
Definition: SatParameters.java:16754
boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:20818
Builder setAddObjectiveCut(boolean value)
Definition: SatParameters.java:18775
double getInitialVariablesActivity()
Definition: SatParameters.java:13249
int getRestartPeriod()
Definition: SatParameters.java:14690
boolean hasDebugCrashOnBadHint()
Definition: SatParameters.java:17530
boolean hasAddCliqueCuts()
Definition: SatParameters.java:18989
Builder clearGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14279
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:14386
Builder setUseAbslRandom(boolean value)
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15825
Builder setUsePrecedencesInDisjunctiveConstraint(boolean value)
Definition: SatParameters.java:18015
Builder setStrategyChangeIncreaseRatio(double value)
Definition: SatParameters.java:15119
Builder clearExploitBestSolution()
Definition: SatParameters.java:20119
boolean hasFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:20951
Builder setGlucoseMaxDecay(double value)
Definition: SatParameters.java:14223
Builder setBooleanEncodingLevel(int value)
Definition: SatParameters.java:18451
Builder setRestartRunningWindowSize(int value)
Definition: SatParameters.java:14759
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
boolean hasMipVarScaling()
Definition: SatParameters.java:22788
boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19570
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
boolean getUseLnsOnly()
Definition: SatParameters.java:21641
Builder setPresolveProbingDeterministicTimeLimit(double value)
Definition: SatParameters.java:16558
Builder clearNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:15075
Builder setPolishLpSolution(boolean value)
Definition: SatParameters.java:22559
Builder clearMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19494
Builder setExploitIntegerLpSolution(boolean value)
Definition: SatParameters.java:19984
Builder setRepairHint(boolean value)
Definition: SatParameters.java:19858
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:13796
int getRestartAlgorithmsCount()
Definition: SatParameters.java:14461
Builder clearAddCgCuts()
Definition: SatParameters.java:18852
int getPolarityRephaseIncrement()
Definition: SatParameters.java:12983
Builder setDiversifyLnsParams(boolean value)
Definition: SatParameters.java:21979
Builder clearOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20560
Builder clearRandomizeSearch()
Definition: SatParameters.java:22048
boolean hasUseBlockingRestart()
Definition: SatParameters.java:14890
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:13844
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17828
Builder setClauseActivityDecay(double value)
Definition: SatParameters.java:14359
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:14955
Builder clearShareLevelZeroBounds()
Definition: SatParameters.java:21612
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:19722
Builder clearRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14871
int getMipMaxActivityExponent()
Definition: SatParameters.java:23035
boolean hasRandomSeed()
Definition: SatParameters.java:15637
java.lang.String getName()
Definition: SatParameters.java:12692
Builder clearBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13438
Builder clearDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14644
boolean hasAddMirCuts()
Definition: SatParameters.java:18870
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14155
Builder addRepeatedField(com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value)
Definition: SatParameters.java:12095
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:18229
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:19464
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:19954
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:21464
boolean getExploitAllLpSolution()
Definition: SatParameters.java:20034
boolean hasCutCleanupTarget()
Definition: SatParameters.java:19613
Builder setDebugMaxNumPresolveOperations(int value)
Definition: SatParameters.java:17498
boolean hasUseExactLpReason()
Definition: SatParameters.java:22210
Builder clearClauseCleanupRatio()
Definition: SatParameters.java:13682
boolean hasLogToStdout()
Definition: SatParameters.java:16082
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:16352
Builder setAddZeroHalfCuts(boolean value)
Definition: SatParameters.java:18955
Builder clearUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15835
boolean getExploitRelaxationSolution()
Definition: SatParameters.java:20152
boolean hasMipMaxValidMagnitude()
Definition: SatParameters.java:23228
Builder setPresolveUseBva(boolean value)
Definition: SatParameters.java:16673
Builder setPermuteVariableRandomly(boolean value)
Definition: SatParameters.java:15740
Builder clearPermuteVariableRandomly()
Definition: SatParameters.java:15757
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:14853
Builder setRandomizeSearch(boolean value)
Definition: SatParameters.java:22034
Builder clearRepairHint()
Definition: SatParameters.java:19875
boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:15809
boolean hasUseOptimizationHints()
Definition: SatParameters.java:17588
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:20260
double getClauseActivityDecay()
Definition: SatParameters.java:14347
Builder setRestartPeriod(int value)
Definition: SatParameters.java:14703
boolean getCpModelPresolve()
Definition: SatParameters.java:16846
Builder setMergeNoOverlapWorkLimit(double value)
Definition: SatParameters.java:17192
Builder setPseudoCostReliabilityThreshold(long value)
Definition: SatParameters.java:20407
Builder setExploitObjective(boolean value)
Definition: SatParameters.java:20226
boolean getLogToResponse()
Definition: SatParameters.java:16149
Builder clearInitialVariablesActivity()
Definition: SatParameters.java:13285
boolean hasUseBranchingInLp()
Definition: SatParameters.java:22276
Builder setUseRelaxationLns(boolean value)
Definition: SatParameters.java:21923
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17869
int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19405
boolean hasLinearizationLevel()
Definition: SatParameters.java:18360
boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:18929
Builder clearExpandAlldiffConstraints()
Definition: SatParameters.java:17080
Builder clearOptimizeWithCore()
Definition: SatParameters.java:20489
Builder setKeepAllFeasibleSolutionsInPresolve(boolean value)
Definition: SatParameters.java:20836
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:14253
Builder clearMaxIntegerRoundingScaling()
Definition: SatParameters.java:19238
Builder clearInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12863
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:19052
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:13578
boolean getAddZeroHalfCuts()
Definition: SatParameters.java:18942
boolean hasMipWantedPrecision()
Definition: SatParameters.java:22929
Builder clearCutMaxActiveCountValue()
Definition: SatParameters.java:19557
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17922
Builder setSearchRandomizationTolerance(long value)
Definition: SatParameters.java:22107
double getMaxDeterministicTime()
Definition: SatParameters.java:15226
boolean hasConvertIntervals()
Definition: SatParameters.java:22595
Builder setLogPrefix(java.lang.String value)
Definition: SatParameters.java:16028
Builder clearUseRinsLns()
Definition: SatParameters.java:21781
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:19258
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
final boolean isInitialized()
Definition: SatParameters.java:12641
Builder setMaxDeterministicTime(double value)
Definition: SatParameters.java:15240
boolean getAddCgCuts()
Definition: SatParameters.java:18824
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:16773
Builder setUseCumulativeInNoOverlap2D(boolean value)
Definition: SatParameters.java:18322
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:16889
boolean getUseOptionalVariables()
Definition: SatParameters.java:22160
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:19326
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:21519
boolean hasPresolveUseBva()
Definition: SatParameters.java:16649
Builder clearFillTightenedDomainsInResponse()
Definition: SatParameters.java:20927
boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:17039
boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:20526
Builder setLogToResponse(boolean value)
Definition: SatParameters.java:16161
Builder clearPresolveUseBva()
Definition: SatParameters.java:16687
Builder clearMaxMemoryInMb()
Definition: SatParameters.java:15402
double getAbsoluteGapLimit()
Definition: SatParameters.java:15459
boolean hasCoverOptimization()
Definition: SatParameters.java:17767
boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:18486
Builder clearOneof(com.google.protobuf.Descriptors.OneofDescriptor oneof)
Definition: SatParameters.java:12084
boolean hasLogToResponse()
Definition: SatParameters.java:16137
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13415
Builder setOptimizeWithMaxHs(boolean value)
Definition: SatParameters.java:20683
boolean getMinimizeCore()
Definition: SatParameters.java:17664
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
Builder clearMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:13395
Builder clearAddLpConstraintsLazily()
Definition: SatParameters.java:19305
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
boolean hasMipMaxBound()
Definition: SatParameters.java:22725
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:13895
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
boolean getDebugPostsolveWithFullSolver()
Definition: SatParameters.java:17424
Builder setMaxSatStratification(com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm value)
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:17940
Builder clearPresolveSubstitutionLevel()
Definition: SatParameters.java:17316
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:22353
boolean hasCatchSigintSignal()
Definition: SatParameters.java:22402
boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:12969
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:17996
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
int getMaxPresolveIterations()
Definition: SatParameters.java:16787
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:14735
boolean getAddMirCuts()
Definition: SatParameters.java:18883
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:13970
Builder setBinaryMinimizationAlgorithm(com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm value)
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13425
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:17882
Builder addRestartAlgorithms(com.google.ortools.sat.SatParameters.RestartAlgorithm value)
Definition: SatParameters.java:14526
Builder clearUseFeasibilityPump()
Definition: SatParameters.java:21836
int getRestartRunningWindowSize()
Definition: SatParameters.java:14747
Builder setCutActiveCountDecay(double value)
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:19586
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:14587
boolean getUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:18306
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14147
boolean hasUseProbingSearch()
Definition: SatParameters.java:20322
boolean getLogSubsolverStatistics()
Definition: SatParameters.java:15927
Builder setLogPrefixBytes(com.google.protobuf.ByteString value)
Definition: SatParameters.java:16061
boolean getCoverOptimization()
Definition: SatParameters.java:17780
Builder clearRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:15552
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
boolean hasExploitBestSolution()
Definition: SatParameters.java:20081
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:20381
Builder clearPolishLpSolution()
Definition: SatParameters.java:22576
Builder setMipCheckPrecision(double value)
Definition: SatParameters.java:23120
boolean getExploitBestSolution()
Definition: SatParameters.java:20093
boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:17098
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16262
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:12716
boolean hasHintConflictLimit()
Definition: SatParameters.java:19770
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13694
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:19200
Builder clearExploitRelaxationSolution()
Definition: SatParameters.java:20182
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:20020
boolean hasExploitObjective()
Definition: SatParameters.java:20200
Builder clearUseProbingSearch()
Definition: SatParameters.java:20363
boolean getConvertIntervals()
Definition: SatParameters.java:22609
com.google.ortools.sat.SatParameters.Polarity getInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:12840
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:18150
Builder clearMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:14173
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:21173
Builder clearAddLinMaxCuts()
Definition: SatParameters.java:19159
Builder setMipAutomaticallyScaleVariables(boolean value)
Definition: SatParameters.java:22885
Builder setDebugCrashOnBadHint(boolean value)
Definition: SatParameters.java:17554
Builder setPresolveBlockedClause(boolean value)
Definition: SatParameters.java:16617
Builder setShareLevelZeroBounds(boolean value)
Definition: SatParameters.java:21598
Builder clearStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15134
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
double getRandomPolarityRatio()
Definition: SatParameters.java:13050
int getCpModelProbingLevel()
Definition: SatParameters.java:16901
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:15093
Builder setPresolveExtractIntegerEnforcement(boolean value)
Definition: SatParameters.java:17372
Builder setPresolveSubstitutionLevel(int value)
Definition: SatParameters.java:17299
com.google.ortools.sat.SatParameters buildPartial()
Definition: SatParameters.java:11363
Builder clearClauseActivityDecay()
Definition: SatParameters.java:14373
boolean hasRepairHint()
Definition: SatParameters.java:19828
boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:19393
long getProbingPeriodAtRoot()
Definition: SatParameters.java:20274
boolean getUseOptimizationHints()
Definition: SatParameters.java:17603
Builder clearStopAfterPresolve()
Definition: SatParameters.java:21258
double getMipMaxValidMagnitude()
Definition: SatParameters.java:23244
boolean getMipComputeTrueObjectiveBound()
Definition: SatParameters.java:23173
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:16473
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:16277
Builder setAddMirCuts(boolean value)
Definition: SatParameters.java:18896
boolean getExploitObjective()
Definition: SatParameters.java:20213
Builder clearBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:15012
long getSearchRandomizationTolerance()
Definition: SatParameters.java:22089
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:15571
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:17820
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:13702
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:13407
Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:12646
Builder setMaxConsecutiveInactiveCount(int value)
Definition: SatParameters.java:19478
int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:21429
Builder clearLogToResponse()
Definition: SatParameters.java:16175
Builder setUseOptionalVariables(boolean value)
Definition: SatParameters.java:22174
Builder clearUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:18111
static final int EXPLOIT_BEST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6375
boolean getStopAfterPresolve()
Definition: SatParameters.java:6959
boolean getDebugCrashOnBadHint()
Definition: SatParameters.java:5149
static final int USE_OPTIONAL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7388
static final int CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3550
boolean hasEnumerateAllSolutions()
Definition: SatParameters.java:6705
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
static final int ADD_MIR_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5781
double getStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3945
static final int CLAUSE_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3211
double getMipWantedPrecision()
Definition: SatParameters.java:7811
static final com.google.protobuf.Parser< SatParameters > PARSER
Definition: SatParameters.java:23311
boolean hasCutMaxActiveCountValue()
Definition: SatParameters.java:6110
static final int USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5416
int getRandomSeed()
Definition: SatParameters.java:4219
static final int SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER
Definition: SatParameters.java:7349
boolean getLogToStdout()
Definition: SatParameters.java:4437
static final int RANDOM_BRANCHES_RATIO_FIELD_NUMBER
Definition: SatParameters.java:2952
int getNumSearchWorkers()
Definition: SatParameters.java:6998
int getHintConflictLimit()
Definition: SatParameters.java:6245
boolean hasGlucoseMaxDecay()
Definition: SatParameters.java:3493
static final int MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:7735
static final int MAX_SAT_STRATIFICATION_FIELD_NUMBER
Definition: SatParameters.java:5319
boolean hasPermuteVariableRandomly()
Definition: SatParameters.java:4237
static final int RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3801
com.google.ortools.sat.SatParameters.FPRoundingMethod getFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7260
com.google.ortools.sat.SatParameters.RestartAlgorithm getRestartAlgorithms(int index)
Definition: SatParameters.java:3664
boolean hasClauseCleanupPeriod()
Definition: SatParameters.java:3166
boolean getOptimizeWithMaxHs()
Definition: SatParameters.java:6685
boolean hasDebugPostsolveWithFullSolver()
Definition: SatParameters.java:5079
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
int getPresolveSubstitutionLevel()
Definition: SatParameters.java:5025
boolean hasSymmetryLevel()
Definition: SatParameters.java:7654
boolean hasRandomBranchesRatio()
Definition: SatParameters.java:2965
boolean hasAbsoluteGapLimit()
Definition: SatParameters.java:4106
boolean hasPresolveBlockedClause()
Definition: SatParameters.java:4676
boolean hasMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3376
boolean hasFpRounding()
optional .operations_research.sat.SatParameters.FPRoundingMethod fp_rounding = 165 [default = PROPAGA...
Definition: SatParameters.java:7253
static final int CUT_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:6147
int getSymmetryLevel()
Definition: SatParameters.java:7669
boolean getRepairHint()
Definition: SatParameters.java:6278
boolean hasSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3136
java.util.List< com.google.ortools.sat.SatParameters.RestartAlgorithm > getRestartAlgorithmsList()
Definition: SatParameters.java:3624
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10902
boolean hasNewConstraintsBatchSize()
Definition: SatParameters.java:6186
static final int FILL_ADDITIONAL_SOLUTIONS_IN_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:6800
boolean hasUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5356
com.google.ortools.sat.SatParameters getDefaultInstanceForType()
Definition: SatParameters.java:23331
boolean hasMinimizeCore()
Definition: SatParameters.java:5197
boolean hasStopAfterPresolve()
Definition: SatParameters.java:6946
boolean hasInterleaveSearch()
Definition: SatParameters.java:7017
boolean hasCutLevel()
Definition: SatParameters.java:5670
boolean hasAddObjectiveCut()
Definition: SatParameters.java:5732
static final int RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3716
boolean hasOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5700
double getRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4151
boolean hasMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6079
boolean hasLogSearchProgress()
Definition: SatParameters.java:4306
boolean getFindMultipleCores()
Definition: SatParameters.java:5238
static final int CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:4838
double getMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6035
boolean hasMaxNumberOfConflicts()
Definition: SatParameters.java:4025
void writeTo(com.google.protobuf.CodedOutputStream output)
Definition: SatParameters.java:7967
static final int MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3355
boolean getFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:6837
boolean hasCpModelUseSatPresolve()
Definition: SatParameters.java:4849
boolean getUsePbResolution()
Definition: SatParameters.java:4497
static final int SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER
Definition: SatParameters.java:7083
double getRandomBranchesRatio()
Definition: SatParameters.java:2979
double getGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3527
boolean hasAddCgCuts()
Definition: SatParameters.java:5764
boolean getMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7766
boolean hasRandomPolarityRatio()
Definition: SatParameters.java:2932
com.google.ortools.sat.SatParameters.SearchBranching getSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6216
boolean hasSearchRandomizationTolerance()
Definition: SatParameters.java:7366
static final int MIP_VAR_SCALING_FIELD_NUMBER
Definition: SatParameters.java:7704
static final int INTERLEAVE_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7037
boolean hasOptimizeWithCore()
Definition: SatParameters.java:6565
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10914
double getPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3351
com.google.ortools.sat.SatParameters.ClauseOrdering getClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3303
boolean hasMaxMemoryInMb()
Definition: SatParameters.java:4061
static final int USE_RELAXATION_LNS_FIELD_NUMBER
Definition: SatParameters.java:7266
static final int USE_PROBING_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:6493
double getMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3592
double getPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4660
boolean hasRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3808
boolean hasRestartDlAverageRatio()
Definition: SatParameters.java:3784
com.google.protobuf.Parser< SatParameters > getParserForType()
Definition: SatParameters.java:23326
static final int SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER
Definition: SatParameters.java:3122
boolean getUseExactLpReason()
Definition: SatParameters.java:7448
static final int INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER
Definition: SatParameters.java:3014
boolean hasUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5471
boolean hasPresolveProbingDeterministicTimeLimit()
Definition: SatParameters.java:4647
double getMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4992
double getGlucoseMaxDecay()
Definition: SatParameters.java:3508
static final int HINT_CONFLICT_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:6222
static final int MIP_WANTED_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7770
boolean hasOptimizeWithMaxHs()
Definition: SatParameters.java:6668
boolean getUseRelaxationLns()
Definition: SatParameters.java:7291
boolean getUseErwaHeuristic()
Definition: SatParameters.java:3010
boolean hasNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3902
static final int RANDOMIZE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:7322
boolean hasClauseCleanupLbdBound()
Definition: SatParameters.java:3273
int getPresolveBveClauseWeight()
Definition: SatParameters.java:4631
boolean hasMipMaxActivityExponent()
Definition: SatParameters.java:7832
int getGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3546
static final int LOG_TO_STDOUT_FIELD_NUMBER
Definition: SatParameters.java:4414
boolean getDisableConstraintExpansion()
Definition: SatParameters.java:4938
java.lang.String getLogPrefix()
Definition: SatParameters.java:4377
static final int ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER
Definition: SatParameters.java:3051
boolean getPermuteVariableRandomly()
Definition: SatParameters.java:4252
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
boolean getUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4880
boolean hasLogPrefix()
Definition: SatParameters.java:4365
boolean hasOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6599
boolean hasPreferredVariableOrder()
optional .operations_research.sat.SatParameters.VariableOrder preferred_variable_order = 1 [default =...
Definition: SatParameters.java:2811
boolean hasAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3065
static final int FIND_MULTIPLE_CORES_FIELD_NUMBER
Definition: SatParameters.java:5213
static final int NUM_SEARCH_WORKERS_FIELD_NUMBER
Definition: SatParameters.java:6963
long getMaxMemoryInMb()
Definition: SatParameters.java:4077
boolean hasUseSatInprocessing()
optional bool use_sat_inprocessing = 163 [default = false];
Definition: SatParameters.java:4872
static final int STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3920
static final int MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER
Definition: SatParameters.java:3460
boolean hasMaxNumCuts()
Definition: SatParameters.java:5638
boolean hasPresolveBvaThreshold()
Definition: SatParameters.java:4734
double getCutMaxActiveCountValue()
Definition: SatParameters.java:6124
static Builder newBuilder(com.google.ortools.sat.SatParameters prototype)
Definition: SatParameters.java:10940
com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
Definition: SatParameters.java:1159
static final int ADD_CLIQUE_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5839
int getMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3417
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input)
Definition: SatParameters.java:10921
static final int AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER
Definition: SatParameters.java:6874
boolean hasClauseActivityDecay()
Definition: SatParameters.java:3561
static final int COVER_OPTIMIZATION_FIELD_NUMBER
Definition: SatParameters.java:5242
static final int STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6907
boolean hasPresolveSubstitutionLevel()
Definition: SatParameters.java:5010
boolean getPolishLpSolution()
Definition: SatParameters.java:7605
int getDebugMaxNumPresolveOperations()
Definition: SatParameters.java:5122
double getMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4973
double getMaxTimeInSeconds()
Definition: SatParameters.java:3974
boolean hasPresolveBveThreshold()
Definition: SatParameters.java:4588
double getMipVarScaling()
Definition: SatParameters.java:7731
boolean hasUseErwaHeuristic()
Definition: SatParameters.java:2996
boolean getShareLevelZeroBounds()
Definition: SatParameters.java:7133
boolean hasMaxTimeInSeconds()
Definition: SatParameters.java:3961
boolean getPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4271
boolean hasShareLevelZeroBounds()
Definition: SatParameters.java:7121
boolean hasMaxDeterministicTime()
Definition: SatParameters.java:3991
double getCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6143
boolean getPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5062
static final int BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER
Definition: SatParameters.java:3870
static final int STOP_AFTER_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6934
int getBinarySearchNumConflicts()
Definition: SatParameters.java:6648
boolean hasInitialVariablesActivity()
Definition: SatParameters.java:3030
boolean getAlsoBumpVariablesInConflictReasons()
Definition: SatParameters.java:3080
static final int CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER
Definition: SatParameters.java:3290
boolean getTreatBinaryClausesSeparately()
Definition: SatParameters.java:4182
static final int DEBUG_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER
Definition: SatParameters.java:5097
com.google.protobuf.ByteString getLogPrefixBytes()
Definition: SatParameters.java:4401
static final int FIX_VARIABLES_TO_THEIR_HINTED_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6282
boolean getFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6307
int getPresolveBvaThreshold()
Definition: SatParameters.java:4749
static final int LOG_SUBSOLVER_STATISTICS_FIELD_NUMBER
Definition: SatParameters.java:4323
boolean hasInstantiateAllVariables()
Definition: SatParameters.java:6855
static com.google.ortools.sat.SatParameters getDefaultInstance()
Definition: SatParameters.java:23306
boolean getCpModelUseSatPresolve()
Definition: SatParameters.java:4861
static final int MIP_COMPUTE_TRUE_OBJECTIVE_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7885
boolean hasMipAutomaticallyScaleVariables()
Definition: SatParameters.java:7750
boolean getFillTightenedDomainsInResponse()
Definition: SatParameters.java:6796
boolean hasRelativeGapLimit()
optional double relative_gap_limit = 160 [default = 0];
Definition: SatParameters.java:4143
boolean hasClauseCleanupRatio()
Definition: SatParameters.java:3224
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
boolean getUseFeasibilityPump()
Definition: SatParameters.java:7243
boolean hasPermutePresolveConstraintOrder()
optional bool permute_presolve_constraint_order = 179 [default = false];
Definition: SatParameters.java:4263
boolean getEnumerateAllSolutions()
Definition: SatParameters.java:6722
static final int PROBING_PERIOD_AT_ROOT_FIELD_NUMBER
Definition: SatParameters.java:6462
double getBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3885
static final int MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER
Definition: SatParameters.java:5271
boolean hasAddLinMaxCuts()
Definition: SatParameters.java:5914
static final int NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER
Definition: SatParameters.java:3889
boolean getSubsumptionDuringConflictAnalysis()
Definition: SatParameters.java:3151
static final int MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3084
boolean getUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5412
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
static final int MINIMIZE_CORE_FIELD_NUMBER
Definition: SatParameters.java:5186
double getRestartDlAverageRatio()
Definition: SatParameters.java:3797
boolean getOptimizeWithCore()
Definition: SatParameters.java:6580
static final int LOG_SEARCH_PROGRESS_FIELD_NUMBER
Definition: SatParameters.java:4294
static final int PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER
Definition: SatParameters.java:5029
boolean hasMipCheckPrecision()
Definition: SatParameters.java:7867
static final int MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER
Definition: SatParameters.java:5932
boolean getUseImpliedBounds()
Definition: SatParameters.java:7572
static final int MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER
Definition: SatParameters.java:6066
boolean hasKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6743
static final int CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER
Definition: SatParameters.java:6097
boolean hasInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7044
int getBooleanEncodingLevel()
Definition: SatParameters.java:5587
static final int REPAIR_HINT_FIELD_NUMBER
Definition: SatParameters.java:6249
boolean hasBooleanEncodingLevel()
Definition: SatParameters.java:5574
boolean getRandomizeSearch()
Definition: SatParameters.java:7345
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
boolean hasGlucoseDecayIncrementPeriod()
optional int32 glucose_decay_increment_period = 24 [default = 5000];
Definition: SatParameters.java:3538
int getLinearizationLevel()
Definition: SatParameters.java:5558
static final int MIP_MAX_BOUND_FIELD_NUMBER
Definition: SatParameters.java:7673
int getNumConflictsBeforeStrategyChanges()
Definition: SatParameters.java:3916
boolean getInstantiateAllVariables()
Definition: SatParameters.java:6870
boolean hasAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6888
boolean hasInitialPolarity()
optional .operations_research.sat.SatParameters.Polarity initial_polarity = 2 [default = POLARITY_FAL...
Definition: SatParameters.java:2830
boolean getAddLinMaxCuts()
Definition: SatParameters.java:5928
boolean hasBinarySearchNumConflicts()
Definition: SatParameters.java:6633
static final int USE_SAT_INPROCESSING_FIELD_NUMBER
Definition: SatParameters.java:4865
boolean hasPolishLpSolution()
Definition: SatParameters.java:7590
static final int USE_OPTIMIZATION_HINTS_FIELD_NUMBER
Definition: SatParameters.java:5153
boolean hasLogSubsolverStatistics()
Definition: SatParameters.java:4336
static final int POLARITY_REPHASE_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:2886
boolean hasMergeNoOverlapWorkLimit()
Definition: SatParameters.java:4957
int getMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5620
static final int USE_PB_RESOLUTION_FIELD_NUMBER
Definition: SatParameters.java:4468
boolean getAutoDetectGreaterThanAtLeastOneOf()
Definition: SatParameters.java:6903
com.google.protobuf.ByteString getDefaultRestartAlgorithmsBytes()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3703
static final int MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER
Definition: SatParameters.java:4753
boolean hasMaxIntegerRoundingScaling()
Definition: SatParameters.java:5949
boolean hasBlockingRestartMultiplier()
optional double blocking_restart_multiplier = 66 [default = 1.4];
Definition: SatParameters.java:3877
static final int MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:4009
boolean getLogSearchProgress()
Definition: SatParameters.java:4319
double getMipCheckPrecision()
Definition: SatParameters.java:7881
int getPbCleanupIncrement()
Definition: SatParameters.java:3332
boolean equals(final java.lang.Object obj)
Definition: SatParameters.java:9176
boolean hasDiversifyLnsParams()
Definition: SatParameters.java:7306
boolean hasUseOptionalVariables()
Definition: SatParameters.java:7401
boolean getReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7079
static final int USE_COMBINED_NO_OVERLAP_FIELD_NUMBER
Definition: SatParameters.java:7483
long getMaxNumberOfConflicts()
Definition: SatParameters.java:4042
double getClauseCleanupRatio()
Definition: SatParameters.java:3238
boolean getAddLpConstraintsLazily()
Definition: SatParameters.java:6000
boolean hasUseRelaxationLns()
Definition: SatParameters.java:7278
boolean hasNumSearchWorkers()
Definition: SatParameters.java:6980
boolean getDiversifyLnsParams()
Definition: SatParameters.java:7318
boolean getExpandAlldiffConstraints()
Definition: SatParameters.java:4909
boolean getInterleaveSearch()
Definition: SatParameters.java:7033
boolean hasExploitRelaxationSolution()
Definition: SatParameters.java:6415
boolean getCatchSigintSignal()
Definition: SatParameters.java:7541
boolean getPresolveUseBva()
Definition: SatParameters.java:4716
int getMaxNumCuts()
Definition: SatParameters.java:5653
int getCutLevel()
Definition: SatParameters.java:5684
static final int DEBUG_CRASH_ON_BAD_HINT_FIELD_NUMBER
Definition: SatParameters.java:5126
boolean getUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4290
java.lang.String getDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3683
static final int NAME_FIELD_NUMBER
Definition: SatParameters.java:2742
static final int USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5338
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5332
int getClauseCleanupTarget()
Definition: SatParameters.java:3207
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
boolean hasStopAfterFirstSolution()
Definition: SatParameters.java:6918
boolean hasUseCombinedNoOverlap()
Definition: SatParameters.java:7496
boolean hasCpModelPresolve()
Definition: SatParameters.java:4795
static final int POLISH_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:7576
static final int GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER
Definition: SatParameters.java:3512
int getCutCleanupTarget()
Definition: SatParameters.java:6170
static final int PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4575
boolean hasUsePhaseSaving()
Definition: SatParameters.java:2862
static final int RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3596
int getSolutionPoolSize()
Definition: SatParameters.java:7189
static final int GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER
Definition: SatParameters.java:3531
long getPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6547
boolean hasPresolveExtractIntegerEnforcement()
Definition: SatParameters.java:5045
static final int KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER
Definition: SatParameters.java:6726
boolean hasUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5432
static final int CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER
Definition: SatParameters.java:3261
double getVariableActivityDecay()
Definition: SatParameters.java:3456
static final int MAX_TIME_IN_SECONDS_FIELD_NUMBER
Definition: SatParameters.java:3949
int getClauseCleanupPeriod()
Definition: SatParameters.java:3178
static final int USE_FEASIBILITY_PUMP_FIELD_NUMBER
Definition: SatParameters.java:7220
static final int EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:4884
boolean getUsePhaseSaving()
Definition: SatParameters.java:2882
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
boolean hasUseRinsLns()
Definition: SatParameters.java:7204
boolean hasMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3090
boolean hasRandomizeSearch()
Definition: SatParameters.java:7333
static final int USE_LNS_ONLY_FIELD_NUMBER
Definition: SatParameters.java:7137
boolean hasUseLnsOnly()
Definition: SatParameters.java:7148
int getNewConstraintsBatchSize()
Definition: SatParameters.java:6199
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 PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER
Definition: SatParameters.java:4720
Builder newBuilderForType()
Definition: SatParameters.java:10936
boolean getUseProbingSearch()
Definition: SatParameters.java:6518
boolean hasBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3858
boolean hasMergeAtMostOneWorkLimit()
optional double merge_at_most_one_work_limit = 146 [default = 100000000];
Definition: SatParameters.java:4984
boolean hasFindMultipleCores()
Definition: SatParameters.java:5225
static final int MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER
Definition: SatParameters.java:7815
boolean getAddObjectiveCut()
Definition: SatParameters.java:5748
static final int USE_CUMULATIVE_IN_NO_OVERLAP_2D_FIELD_NUMBER
Definition: SatParameters.java:5494
boolean getUseBlockingRestart()
Definition: SatParameters.java:3847
static final int ADD_LIN_MAX_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5901
com.google.ortools.sat.SatParameters.ConflictMinimizationAlgorithm getMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.ConflictMinimizationAlgorithm minimization_algorithm ...
Definition: SatParameters.java:3097
final com.google.protobuf.UnknownFieldSet getUnknownFields()
Definition: SatParameters.java:150
boolean getAddCliqueCuts()
Definition: SatParameters.java:5866
boolean hasCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4552
boolean hasFixVariablesToTheirHintedValue()
Definition: SatParameters.java:6294
boolean getPresolveBlockedClause()
Definition: SatParameters.java:4689
boolean getOnlyAddCutsAtLevelZero()
Definition: SatParameters.java:5713
boolean getUseRinsLns()
Definition: SatParameters.java:7216
static final int DEBUG_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER
Definition: SatParameters.java:5066
boolean hasFillTightenedDomainsInResponse()
Definition: SatParameters.java:6780
static final int EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6344
int getClauseCleanupLbdBound()
Definition: SatParameters.java:3286
static final int CATCH_SIGINT_SIGNAL_FIELD_NUMBER
Definition: SatParameters.java:7514
boolean getUseBranchingInLp()
Definition: SatParameters.java:7479
int getPresolveBveThreshold()
Definition: SatParameters.java:4602
boolean hasUseFeasibilityPump()
Definition: SatParameters.java:7231
int getMaxAllDiffCutSize()
Definition: SatParameters.java:5897
boolean getExploitIntegerLpSolution()
Definition: SatParameters.java:6340
static final int CONVERT_INTERVALS_FIELD_NUMBER
Definition: SatParameters.java:7609
boolean hasVariableActivityDecay()
Definition: SatParameters.java:3438
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
boolean hasUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:5509
static final int RELATIVE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4136
boolean hasUseOverloadCheckerInCumulativeConstraint()
Definition: SatParameters.java:5395
static com.google.ortools.sat.SatParameters parseDelimitedFrom(java.io.InputStream input)
Definition: SatParameters.java:10909
boolean hasUsePbResolution()
Definition: SatParameters.java:4482
static com.google.ortools.sat.SatParameters parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
Definition: SatParameters.java:10927
static final int SYMMETRY_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:7640
static final int ADD_OBJECTIVE_CUT_FIELD_NUMBER
Definition: SatParameters.java:5717
boolean hasSolutionPoolSize()
Definition: SatParameters.java:7176
boolean hasMipComputeTrueObjectiveBound()
Definition: SatParameters.java:7900
static final int LOG_TO_RESPONSE_FIELD_NUMBER
Definition: SatParameters.java:4441
double getMipMaxBound()
Definition: SatParameters.java:7700
boolean hasMinimizeWithPropagationNumDecisions()
optional int32 minimize_with_propagation_num_decisions = 97 [default = 1000];
Definition: SatParameters.java:3409
static final int RANDOM_SEED_FIELD_NUMBER
Definition: SatParameters.java:4186
boolean hasRestartPeriod()
Definition: SatParameters.java:3728
boolean hasDebugMaxNumPresolveOperations()
Definition: SatParameters.java:5109
static final int MAX_MEMORY_IN_MB_FIELD_NUMBER
Definition: SatParameters.java:4046
boolean getShareObjectiveBounds()
Definition: SatParameters.java:7106
boolean hasUseImpliedBounds()
Definition: SatParameters.java:7558
boolean getKeepAllFeasibleSolutionsInPresolve()
Definition: SatParameters.java:6761
double getInitialVariablesActivity()
Definition: SatParameters.java:3047
int getRestartPeriod()
Definition: SatParameters.java:3741
boolean hasDebugCrashOnBadHint()
Definition: SatParameters.java:5137
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
boolean hasAddCliqueCuts()
Definition: SatParameters.java:5852
static final int ABSOLUTE_GAP_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4081
boolean hasMaxClauseActivityValue()
optional double max_clause_activity_value = 18 [default = 1e+20];
Definition: SatParameters.java:3584
static final int EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6311
static final int ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:5688
boolean hasFillAdditionalSolutionsInResponse()
Definition: SatParameters.java:6818
static final int SEARCH_BRANCHING_FIELD_NUMBER
Definition: SatParameters.java:6203
boolean hasMipVarScaling()
Definition: SatParameters.java:7717
boolean hasCutActiveCountDecay()
optional double cut_active_count_decay = 156 [default = 0.8];
Definition: SatParameters.java:6135
static final int BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER
Definition: SatParameters.java:6619
boolean getUseLnsOnly()
Definition: SatParameters.java:7160
static com.google.ortools.sat.SatParameters parseFrom(java.nio.ByteBuffer data)
Definition: SatParameters.java:10865
static final int USE_ABSL_RANDOM_FIELD_NUMBER
Definition: SatParameters.java:4275
boolean hasClauseCleanupOrdering()
optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default ...
Definition: SatParameters.java:3296
int getRestartAlgorithmsCount()
Definition: SatParameters.java:3644
int getPolarityRephaseIncrement()
Definition: SatParameters.java:2913
boolean hasUseBlockingRestart()
Definition: SatParameters.java:3833
boolean hasPbCleanupIncrement()
Definition: SatParameters.java:3320
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder getMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5284
static final int INTERLEAVE_SEARCH_FIELD_NUMBER
Definition: SatParameters.java:7002
int getBlockingRestartWindowSize()
optional int32 blocking_restart_window_size = 65 [default = 5000];
Definition: SatParameters.java:3866
boolean hasSearchBranching()
optional .operations_research.sat.SatParameters.SearchBranching search_branching = 82 [default = AUTO...
Definition: SatParameters.java:6209
static final int ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER
Definition: SatParameters.java:6689
static final int CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER
Definition: SatParameters.java:3242
int getMipMaxActivityExponent()
Definition: SatParameters.java:7850
boolean hasRandomSeed()
Definition: SatParameters.java:4202
java.lang.String getName()
Definition: SatParameters.java:2767
boolean hasAddMirCuts()
Definition: SatParameters.java:5793
double getMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3475
boolean getUseDisjunctiveConstraintInCumulativeConstraint()
Definition: SatParameters.java:5490
int getMaxConsecutiveInactiveCount()
Definition: SatParameters.java:6093
static final int PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER
Definition: SatParameters.java:4664
boolean hasExploitIntegerLpSolution()
Definition: SatParameters.java:6325
boolean hasReduceMemoryUsageInInterleaveMode()
Definition: SatParameters.java:7067
boolean getExploitAllLpSolution()
Definition: SatParameters.java:6371
boolean hasCutCleanupTarget()
Definition: SatParameters.java:6158
boolean hasUseExactLpReason()
Definition: SatParameters.java:7433
boolean hasLogToStdout()
Definition: SatParameters.java:4425
boolean getCountAssumptionLevelsInLbd()
Definition: SatParameters.java:4571
boolean getExploitRelaxationSolution()
Definition: SatParameters.java:6429
boolean hasMipMaxValidMagnitude()
Definition: SatParameters.java:7935
static final int MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4977
double getRestartLbdAverageRatio()
optional double restart_lbd_average_ratio = 71 [default = 1];
Definition: SatParameters.java:3816
boolean hasUseAbslRandom()
optional bool use_absl_random = 180 [default = false];
Definition: SatParameters.java:4282
boolean hasUseOptimizationHints()
Definition: SatParameters.java:5167
static com.google.protobuf.Parser< SatParameters > parser()
Definition: SatParameters.java:23321
boolean hasProbingPeriodAtRoot()
Definition: SatParameters.java:6475
double getClauseActivityDecay()
Definition: SatParameters.java:3573
static final int USE_BLOCKING_RESTART_FIELD_NUMBER
Definition: SatParameters.java:3820
static final int VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3421
boolean getCpModelPresolve()
Definition: SatParameters.java:4807
static final int ADD_CG_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5752
boolean getLogToResponse()
Definition: SatParameters.java:4464
boolean hasUseBranchingInLp()
Definition: SatParameters.java:7465
static final int INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER
Definition: SatParameters.java:6841
boolean hasMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5302
static final int NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER
Definition: SatParameters.java:6174
int getMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6062
boolean hasLinearizationLevel()
Definition: SatParameters.java:5543
boolean hasAddZeroHalfCuts()
Definition: SatParameters.java:5822
boolean hasGlucoseDecayIncrement()
optional double glucose_decay_increment = 23 [default = 0.01];
Definition: SatParameters.java:3519
static final int MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER
Definition: SatParameters.java:5870
boolean hasMaxAllDiffCutSize()
Definition: SatParameters.java:5883
boolean hasClauseCleanupTarget()
Definition: SatParameters.java:3194
boolean getAddZeroHalfCuts()
Definition: SatParameters.java:5835
boolean hasMipWantedPrecision()
Definition: SatParameters.java:7790
boolean hasMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification ...
Definition: SatParameters.java:5325
static final int DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER
Definition: SatParameters.java:3668
double getMaxDeterministicTime()
Definition: SatParameters.java:4005
boolean hasConvertIntervals()
Definition: SatParameters.java:7622
static final int CP_MODEL_PROBING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:4811
boolean hasAddLpConstraintsLazily()
Definition: SatParameters.java:5985
final boolean isInitialized()
Definition: SatParameters.java:7957
boolean getAddCgCuts()
Definition: SatParameters.java:5777
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
static final int GLUCOSE_MAX_DECAY_FIELD_NUMBER
Definition: SatParameters.java:3479
boolean hasMaxPresolveIterations()
Definition: SatParameters.java:4766
boolean hasCpModelProbingLevel()
Definition: SatParameters.java:4822
boolean getUseOptionalVariables()
Definition: SatParameters.java:7415
boolean hasMinOrthogonalityForLpConstraints()
Definition: SatParameters.java:6019
boolean hasShareObjectiveBounds()
Definition: SatParameters.java:7094
boolean hasPresolveUseBva()
Definition: SatParameters.java:4704
static final int RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER
Definition: SatParameters.java:3745
boolean hasExpandAlldiffConstraints()
Definition: SatParameters.java:4896
static final int PB_CLEANUP_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3336
static final int INITIAL_POLARITY_FIELD_NUMBER
Definition: SatParameters.java:2824
boolean getOptimizeWithLbTreeSearch()
Definition: SatParameters.java:6615
double getAbsoluteGapLimit()
Definition: SatParameters.java:4132
boolean hasCoverOptimization()
Definition: SatParameters.java:5254
boolean hasMaxDomainSizeWhenEncodingEqNeqConstraints()
Definition: SatParameters.java:5605
boolean hasLogToResponse()
Definition: SatParameters.java:4452
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm getBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3116
static final int ADD_ZERO_HALF_CUTS_FIELD_NUMBER
Definition: SatParameters.java:5810
boolean getMinimizeCore()
Definition: SatParameters.java:5209
static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
Definition: SatParameters.java:1153
java.lang.Object newInstance(UnusedPrivateParameter unused)
Definition: SatParameters.java:143
static final int MAX_DETERMINISTIC_TIME_FIELD_NUMBER
Definition: SatParameters.java:3978
boolean hasMipMaxBound()
Definition: SatParameters.java:7686
boolean hasPbCleanupRatio()
optional double pb_cleanup_ratio = 47 [default = 0.5];
Definition: SatParameters.java:3343
boolean getDebugPostsolveWithFullSolver()
Definition: SatParameters.java:5093
static final int PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER
Definition: SatParameters.java:4223
static final int CLAUSE_CLEANUP_TARGET_FIELD_NUMBER
Definition: SatParameters.java:3182
boolean getUseCombinedNoOverlap()
Definition: SatParameters.java:7510
boolean hasCatchSigintSignal()
Definition: SatParameters.java:7527
static com.google.ortools.sat.SatParameters parseFrom(byte[] data)
Definition: SatParameters.java:10887
static final int OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER
Definition: SatParameters.java:6652
boolean hasPolarityRephaseIncrement()
Definition: SatParameters.java:2899
boolean getUsePrecedencesInDisjunctiveConstraint()
Definition: SatParameters.java:5375
int getMaxPresolveIterations()
Definition: SatParameters.java:4780
boolean hasRestartRunningWindowSize()
Definition: SatParameters.java:3756
boolean getAddMirCuts()
Definition: SatParameters.java:5806
int getMinimizeWithPropagationRestartPeriod()
Definition: SatParameters.java:3398
static final int MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER
Definition: SatParameters.java:4942
boolean getMaxSatReverseAssumptionOrder()
Definition: SatParameters.java:5315
int getRestartRunningWindowSize()
Definition: SatParameters.java:3768
boolean hasDefaultRestartAlgorithms()
optional string default_restart_algorithms = 70 [default = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,...
Definition: SatParameters.java:3675
boolean getUseCumulativeInNoOverlap2D()
Definition: SatParameters.java:5525
boolean hasMaxVariableActivityValue()
optional double max_variable_activity_value = 16 [default = 1e+100];
Definition: SatParameters.java:3467
int getSerializedSize()
Definition: SatParameters.java:8483
static final int BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5562
boolean hasUseProbingSearch()
Definition: SatParameters.java:6505
boolean getLogSubsolverStatistics()
Definition: SatParameters.java:4350
boolean getCoverOptimization()
Definition: SatParameters.java:5267
static final int MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER
Definition: SatParameters.java:3402
boolean hasExploitBestSolution()
Definition: SatParameters.java:6386
boolean hasPseudoCostReliabilityThreshold()
Definition: SatParameters.java:6534
static final int REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER
Definition: SatParameters.java:7056
boolean getExploitBestSolution()
Definition: SatParameters.java:6398
boolean hasDisableConstraintExpansion()
Definition: SatParameters.java:4925
boolean hasMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4515
com.google.protobuf.ByteString getNameBytes()
Definition: SatParameters.java:2792
Builder toBuilder()
Definition: SatParameters.java:10944
boolean hasHintConflictLimit()
Definition: SatParameters.java:6233
boolean hasClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3248
int getMaxIntegerRoundingScaling()
Definition: SatParameters.java:5967
boolean hasExploitAllLpSolution()
Definition: SatParameters.java:6357
boolean hasExploitObjective()
Definition: SatParameters.java:6445
static com.google.ortools.sat.SatParameters parseFrom(java.io.InputStream input)
Definition: SatParameters.java:10897
boolean getConvertIntervals()
Definition: SatParameters.java:7636
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 LINEARIZATION_LEVEL_FIELD_NUMBER
Definition: SatParameters.java:5529
static final int LOG_PREFIX_FIELD_NUMBER
Definition: SatParameters.java:4354
boolean getUseTimetableEdgeFindingInCumulativeConstraint()
Definition: SatParameters.java:5449
boolean getStopAfterFirstSolution()
Definition: SatParameters.java:6930
static final int USE_ERWA_HEURISTIC_FIELD_NUMBER
Definition: SatParameters.java:2983
static Builder newBuilder()
Definition: SatParameters.java:10937
static final int EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER
Definition: SatParameters.java:6402
static final int RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
Definition: SatParameters.java:3772
static final int MAX_DOMAIN_SIZE_WHEN_ENCODING_EQ_NEQ_CONSTRAINTS_FIELD_NUMBER
Definition: SatParameters.java:5591
double getRandomPolarityRatio()
Definition: SatParameters.java:2948
int getCpModelProbingLevel()
Definition: SatParameters.java:4834
static final int FP_ROUNDING_FIELD_NUMBER
Definition: SatParameters.java:7247
boolean hasStrategyChangeIncreaseRatio()
Definition: SatParameters.java:3932
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
boolean hasRepairHint()
Definition: SatParameters.java:6263
boolean hasMaxCutRoundsAtLevelZero()
Definition: SatParameters.java:6050
long getProbingPeriodAtRoot()
Definition: SatParameters.java:6489
boolean getUseOptimizationHints()
Definition: SatParameters.java:5182
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
static final int DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER
Definition: SatParameters.java:4913
double getMipMaxValidMagnitude()
Definition: SatParameters.java:7951
static final int PREFERRED_VARIABLE_ORDER_FIELD_NUMBER
Definition: SatParameters.java:2805
boolean getMipComputeTrueObjectiveBound()
Definition: SatParameters.java:7916
boolean hasPresolveBveClauseWeight()
Definition: SatParameters.java:4618
boolean getMinimizeReductionDuringPbResolution()
Definition: SatParameters.java:4530
Builder newBuilderForType(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
Definition: SatParameters.java:10950
boolean getExploitObjective()
Definition: SatParameters.java:6458
static final int MIP_CHECK_PRECISION_FIELD_NUMBER
Definition: SatParameters.java:7854
long getSearchRandomizationTolerance()
Definition: SatParameters.java:7384
boolean hasTreatBinaryClausesSeparately()
Definition: SatParameters.java:4168
boolean hasMaxSatAssumptionOrder()
optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [...
Definition: SatParameters.java:5277
com.google.ortools.sat.SatParameters.ClauseProtection getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [defa...
Definition: SatParameters.java:3255
static final int BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER
Definition: SatParameters.java:3103
boolean hasBinaryMinimizationAlgorithm()
optional .operations_research.sat.SatParameters.BinaryMinizationAlgorithm binary_minimization_algorit...
Definition: SatParameters.java:3109
static final int USE_BRANCHING_IN_LP_FIELD_NUMBER
Definition: SatParameters.java:7452
static final int USE_PHASE_SAVING_FIELD_NUMBER
Definition: SatParameters.java:2843
static final int MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER
Definition: SatParameters.java:6039
int getInterleaveBatchSize()
optional int32 interleave_batch_size = 134 [default = 1];
Definition: SatParameters.java:7052
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
static final int EXPLOIT_OBJECTIVE_FIELD_NUMBER
Definition: SatParameters.java:6433
static final int SOLUTION_POOL_SIZE_FIELD_NUMBER
Definition: SatParameters.java:7164
static final int USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER
Definition: SatParameters.java:5379
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
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
static BinaryMinizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1618
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
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
static ClauseProtection valueOf(int value)
Definition: SatParameters.java:1755
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
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
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
static ConflictMinimizationAlgorithm valueOf(int value)
Definition: SatParameters.java:1491
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
static FPRoundingMethod valueOf(int value)
Definition: SatParameters.java:2673
PROPAGATION_ASSISTED
Definition: SatParameters.java:2618
ACTIVE_LOCK_BASED
Definition: SatParameters.java:2605
LOCK_BASED
Definition: SatParameters.java:2596
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
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 MaxSatAssumptionOrder valueOf(int value)
Definition: SatParameters.java:2144
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
static MaxSatStratificationAlgorithm valueOf(int value)
Definition: SatParameters.java:2285
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
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
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 valueOf(int value)
Definition: SatParameters.java:1372
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
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
static RestartAlgorithm valueOf(int value)
Definition: SatParameters.java:2033
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
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
static SearchBranching valueOf(int value)
Definition: SatParameters.java:2504
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
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