AIMMS to CP Optimizer Mapping

Description

The table shows in the left column the AIMMS options for CP Optimizer while the right column displays the associated CP Optimizer parameters.

Option name in AIMMS	Name in CP Optimizer
General - Optimality Tolerance	OptimalityTolerance
General - Relative Optimality Tolerance	RelativeOptimalityTolerance
General - Solution Limit	SolutionLimit
General - Solution Storage Limit
General - Starting Point
General - Temporal Relaxation	TemporalRelaxation
General - Time Mode	TimeMode
Inference - Alldiff Inference Level	AllDiffInferenceLevel
Inference - Cardinality Encoding
Inference - Count Inference Level	CountInferenceLevel
Inference - Default Inference Level	DefaultInferenceLevel
Inference - Element Inference Level	ElementInferenceLevel
Inference - Parallel Resource Inference Level	CumulFunctionInferenceLevel
Inference - Precedence Inference Level	PrecedenceInferenceLevel
Inference - Sequence Encoding
Inference - Sequence Inference Level	SequenceInferenceLevel
Inference - Sequential Resource Inference Level	NoOverlapInferenceLevel
Logging - Cpo File
Logging - Cpo File Anonymizer	ModelAnonymizer
Logging - Log Period	LogPeriod
Logging - Log Verbosity	LogVerbosity
Logging - Mod File
Logging - Mod File Write Constraint Names
Logging - Warning Level	WarningLevel
Parallel - Number of Workers	Workers
Preprocessing - Preprocess Cumulative
Preprocessing - Preprocess Table Constraints
Preprocessing - Presolve	Presolve
Preprocessing - Substitute Variables
Search - Branch Limit	BranchLimit
Search - Choice Point Limit	ChoicePointLimit
Search - Dynamic Probing	DynamicProbing
Search - Dynamic Probing Strength	DynamicProbingStrength
Search - Failure Directed Search	FailureDirectedSearch
Search - Failure Directed Search Emphasis	FailureDirectedSearchEmphasis
Search - Failure Directed Search Memory Limit	FailureDirectedSearchMaxMemory
Search - Failure Limit	FailLimit
Search - Number of Search Points	MultiPointNumberOfSearchPoints
Search - Random Seed	RandomSeed
Search - Restart Failure Limit	RestartFailLimit
Search - Restart Growth Factor	RestartGrowthFactor
Search - Search Type	SearchType
Search - Value Selection
Search - Variable Selection