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

Optimality tolerance

OptimalityTolerance

Relative optimality tolerance

RelativeOptimalityTolerance

Solution limit

SolutionLimit

Solution storage limit

Starting point

Temporal relaxation

TemporalRelaxation

Time mode

TimeMode

Alldiff inference level

AllDiffInferenceLevel

Cardinality encoding

Count inference level

CountInferenceLevel

Default inference level

DefaultInferenceLevel

Element inference level

ElementInferenceLevel

Parallel resource inference level

CumulFunctionInferenceLevel

Precedence inference level

PrecedenceInferenceLevel

Sequence encoding

Sequence inference level

SequenceInferenceLevel

Sequential resource inference level

NoOverlapInferenceLevel

Cpo file

Cpo file anonymizer

ModelAnonymizer

Log period

LogPeriod

Log verbosity

LogVerbosity

Mod file

Mod file write constraint names

Warning level

WarningLevel

Number of workers

Workers

Preprocess cumulative

Preprocess table constraints

Presolve

Presolve

Substitute variables

Branch limit

BranchLimit

Choice point limit

ChoicePointLimit

Dynamic probing

DynamicProbing

Dynamic probing strength

DynamicProbingStrength

Failure directed search

FailureDirectedSearch

Failure directed search emphasis

FailureDirectedSearchEmphasis

Failure directed search memory limit

FailureDirectedSearchMaxMemory

Failure limit

FailLimit

Number of search points

MultiPointNumberOfSearchPoints

Random seed

RandomSeed

Restart failure limit

RestartFailLimit

Restart growth factor

RestartGrowthFactor

Search type

SearchType

Value selection

Variable selection