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
Return to the AMPL's ILOG CP page.
Return to the AMPL home page.