Parameter value indicating automatic behaviour. This value is available for a number of parameters.

Parameter value of various inference level parameters, indicating that the basic (just above lowest) inference level is to be used.

Parameter value of TimeMode which indicates that CPU time should be used for all time reporting and limit setting.

Parameter value of various inference level parameters, indicating that the default inference level is to be used.

Parameter value of SearchType indicating that a depth-first search should be used.

Parameter value of TimeMode which indicates that elapsed (wall clock) time should be used for all time reporting and limit setting.

Parameter value of various inference level parameters, indicating that the extended (highest) inference level is to be used.

Parameter value of SearchType indicating that a search based on repetitive greedy dives should be used. If used when no interval variables are present in the model, has the same effect as Auto

Parameter value of various inference level parameters, indicating that the lowest inference level is to be used.

Parameter value of various inference level parameters, indicating that the medium (just above basic) inference level is to be used.

Parameter value of KPIDisplay indicating that KPIs should be displayed one per line in the log.

Parameter value of SearchType indicating that a search based the principles of population search (genetic algorithms) should be used.

Parameter value of SearchType indicating that a search based on a solution neighborhood exploration should be used (feature in beta).

Parameter value of LogVerbosity indicating there should be a normal level of log output (more than the Terse level).

Parameter value indicating disabled behaviour. This value is available for a number of parameters.

Parameter value indicating active behaviour. This value is available for a number of parameters.

Parameter value of LogVerbosity indicating there should be no log output.

Parameter value of SearchType indicating that a search based around frequent search restarts should be used.

Possible value of the SearchStatus information indicating that search has completed fully with CP Optimizer proving optimality, feasibility, or infeasibility.

Possible value of the SearchStopCause information indicating that in fact the search has not been stopped at all. The actual state can be obtained from the SearchStatus information.

Possible value of the SearchStatus information indicating that no search has been started (before any call to CP.StartNewSearch() or CP.Solve())

Possible value of the SearchStatus information indicating that search is ongoing (has started but has not completed).

Possible value of the SearchStatus information indicating that search was stopped before it could be fully completed, normally by a limit or abort. More information can be found through the SearchStopCause information.

Possible value of the SearchStopCause information indicating that the search was stopped by the user calling CP.AbortSearch()

Possible value of the SearchStopCause information indicating that the search was stopped because a search limit was reached (for instance a time limit).

Possible value of the SearchStopCause information indicating that the reason for the search stopping cannot be determined.

Parameter value of KPIDisplay indicating that all KPIs should be displayed on a single line in the log.

Parameter value of LogVerbosity indicating there should be terse log output. Specifically this means no log when they are no new solutions or bounds to report.

Parameter value of LogVerbosity indicating there should be a maximum amount of log output. This is currenly very similar to the Normal level).