AMPL: A Modeling Language for Mathematical Programming

ILOG CP Directives for AMPL

To set these directives, assign a string specifying their values to the AMPL option ilogcp_options. For example:
     ampl: option ilogcp_options 'optimalitytolerance=1e-6 searchtype=multipoint';
Where both a number and a keyword are given, either may be used to specify the option setting.


alldiffinferencelevel           Inference level for 'alldiff' constraints.
                                Possible values:
                                      0 = default
                                      1 = low
                                      2 = basic
                                      3 = medium
                                      4 = extended

branchlimit                     Limit on the number of branches made before
                                terminating a search.  Default = no limit.

choicepointlimit                Limit on the number of choice points created
                                before terminating a search. Default = no limit.

constraintaggregation           0 or 1 (default 1):  Whether to aggregate basic
                                constraints.

debugexpr                       0 or 1 (default 0):  Whether to print debugging
                                information for expression trees.

defaultinferencelevel           Default inference level for constraints.
                                Possible values:
                                      1 = low
                                      2 = basic
                                      3 = medium
                                      4 = extended

distributeinferencelevel        Inference level for 'distribute' constraints.
                                Possible values:
                                      0 = default
                                      1 = low
                                      2 = basic
                                      3 = medium
                                      4 = extended

dynamicprobing                  Use probing during search.  Possible values:
                                     -1 = auto (default)
                                      0 = off
                                      1 = on

dynamicprobingstrength          Effort dedicated to dynamic probing as a factor
                                of the total search effort.  Default = 0.03.

faillimit                       Limit on the number of failures allowed before
                                terminating a search.  Default = no limit.

logperiod                       Specifies how often the information in the
                                search log is displayed.

logverbosity                    Verbosity of the search log.  Possible values:
                                      0 = quiet (default)
                                      1 = terse
                                      2 = normal
                                      3 = verbose

mipdisplay                      Frequency of displaying CPLEX branch-and-bound
                                information (for optimizing integer variables):
                                      0 (default) = never
                                      1 = each integer feasible solution
                                      2 = every "mipinterval" nodes
                                      3 = every "mipinterval" nodes plus
                                          information on LP relaxations
                                          (as controlled by "display")
                                      4 = same as 2, plus LP relaxation info.
                                      5 = same as 2, plus LP subproblem info.

mipinterval                     Frequency of node logging for mipdisplay 2 or 3.
                                Default = 1.

multipointnumberofsearchpoints  Number of solutions for the multi-point search
                                algorithm.  Default = 30.

optimalitytolerance             Absolute tolerance on the objective value.
                                Default = 0.

optimizer                       Specifies which optimizer to use.
                                Possible values:
                                      auto  = CP Optimizer if the problem has
                                              nonlinear objective/constraints
                                              or logical constraints, CPLEX
                                              otherwise (default)
                                      cp    = CP Optimizer
                                      cplex = CPLEX Optimizer

outlev                          Synonym for "logverbosity".

propagationlog                  Level of propagation trace reporting.
                                Possible values:
                                      0 = quiet (default)
                                      1 = terse
                                      2 = normal
                                      3 = verbose

randomseed                      Seed for the random number generator.
                                Default = 0.

relativeoptimalitytolerance     Relative tolerance on the objective value.
                                Default = 1e-4.

restartfaillimit                Number of failures allowed before restarting
                                search.  Default = 100.

restartgrowthfactor             Increase of the number of allowed failures
                                before restarting search.  Default = 1.05.

searchtype                      Type of search used for solving a problem.
                                Possible values:
                                      0 = depthfirst
                                      1 = restart (default)
                                      2 = multipoint

solutionlimit                   Limit on the number of feasible solutions found
                                before terminating a search. Default = no limit.

temporalrelaxation              0 or 1 (default 1):  Whether to use temporal
                                relaxation.

timelimit                       Limit on the CPU time spent solving before
                                terminating a search.  Default = no limit.

timemode                        Specifies how the time is measured in CP
                                Optimizer.  Possible values:
                                      0 = cputime (default)
                                      1 = elapsedtime

timing                          0 or 1 (default 0):  Whether to display timings
                                for the run.

usenumberof                     0 or 1 (default 1):  Whether to consolidate
                                'numberof' expressions by use of IloDistribute
                                constraints.

version                         Single-word phrase:  report version details
                                before solving the problem.

wantsol                         In a stand-alone invocation (no -AMPL on the
                                command line), what solution information to
                                write.  Sum of
                                      1 = write .sol file
                                      2 = primal variables to stdout
                                      4 = dual variables to stdout
                                      8 = suppress solution message

workers                         Number of workers to run in parallel to solve a
                                problem.  In addition to numeric values this
                                option accepts the value "auto" since CP
                                Optimizer version 12.3.  Default = 1.


Comments or questions?
Write to info@ampl.com or use our comment form.

Return to the AMPL's ILOG CP page.

Return to the AMPL home page.


LAST MODIFIED 7 OCTOBER 2012 BY 4er.