*AMPL: A Modeling Language for
Mathematical Programming*

## JaCoP
Directives for AMPL

To set these directives, assign a string specifying
their values to the AMPL option `jacop_options`. For example:
ampl: option jacop_options 'version nodelimit=30000';

backtracklimit
Backtrack limit.
decisionlimit
Decision limit.
faillimit
Fail (wrong decision) limit.
nodelimit
Node limit.
outfreq
Output frequency in seconds. The value should be a positive integer.
outlev
0 or 1 (default 0): Whether to print solution log.
timelimit
Time limit in seconds.
val_select
Value selector. Possible values:
indomainmax - select the maximal value in the domain
of the variable
indomainmedian - select the median value in the domain
of the variable and then right and left
values
indomainmiddle - select the middle value in the domain
of the variable and then right and left
values
indomainmin - select the minimal value in the domain
of the variable (default)
indomainrandom - select the random value in the domain
of the variable; can split domains into
multiple intervals
indomainsimplerandom - similar to indomainrandom, but faster
and does not achieve uniform probability
var_select
Variable selector. Possible values:
largestdomain - select the variable which has the
largest domain size
largestmax - select the variable with the largest
maximal value in its domain
largestmin - select the variable with the largest
minimal value in its domain
maxregret - max regret selector
mindomainoverdegree - select the variable based on the
minimal value of domain size divided
by the number of constraints currently
attached to a variable
mostconstraineddynamic - select the variable which has the
most pending constraints assign to it
mostconstrainedstatic - select the variable which has the
most constraints assign to it
smallestdomain - select the variable which has the
smallest domain size (default)
smallestmax - select the variable with the smallest
maximal value in its domain
smallestmin - select the variable with the smallest
minimal value in its domain
weighteddegree - select the variable with the highest
weight divided by its size; every time
a constraint failure is encountered
all variables within the scope of that
constraints have increased weight.
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

*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 19 AUGUST 2013 BY 4er.