To set these options, assign a string specifying their values to the AMPL option jacop_options. For example:
ampl: option jacop_options 'version nodelimit=30000';
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 |
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 |
The default value is indomainmin.
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 assigned to it |
mostconstrainedstatic | select the variable which has the most constraints assigned to it |
smallestdomain | select the variable which has the smallest domain size |
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 |
The default value is smallestdomain.
In a stand-alone invocation (no -AMPL on the command line), what solution information to write. Sum of