TRY NOW!
AMPL > >Products > >Solvers > >JaCoP Options for AMPL

JaCoP Options for AMPL

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';

Options

backtracklimit
Backtrack limit.
countsolutions
0 or 1 (default 0): Whether to count the number of solutions and return it in the .nsol problem suffix.
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.
solutionlimit
Limit on the number of feasible solutions found before terminating a search. Leaving the solution limit unspecified will make the optimizer search for an optimal solution if there is an objective function or for a feasible solution otherwise.
solutionstub
Stub for solution files. If solutionstub is specified, found solutions are written to files (solutionstub & '1' & '.sol') … (solutionstub & Current.nsol & '.sol'), where Current.nsol holds the number of returned solutions. That is, file names are obtained by appending 1, 2, … Current.nsol to solutionstub.
timelimit
Time limit in seconds.
timing
0 or 1 (default 0): Whether to display timings for the run.
val_select

Value selector. Possible values:

indomainmaxselect the maximal value in the domain of the variable
indomainmedianselect the median value in the domain of the variable and then right and left values
indomainmiddleselect the middle value in the domain of the variable and then right and left values
indomainminselect the minimal value in the domain of the variable
indomainrandomselect the random value in the domain of the variable; can split domains into multiple intervals
indomainsimplerandomsimilar to indomainrandom, but faster and does not achieve uniform probability

The default value is indomainmin.

var_select

Variable selector. Possible values:

largestdomainselect the variable which has the largest domain size
largestmaxselect the variable with the largest maximal value in its domain
largestminselect the variable with the largest minimal value in its domain
maxregretmax regret selector
mindomainoverdegreeselect the variable based on the minimal value of domain size divided by the number of constraints currently attached to a variable
mostconstraineddynamicselect the variable which has the most pending constraints assigned to it
mostconstrainedstaticselect the variable which has the most constraints assigned to it
smallestdomainselect the variable which has the smallest domain size
smallestmaxselect the variable with the smallest maximal value in its domain
smallestminselect the variable with the smallest minimal value in its domain
weighteddegreeselect 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.

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