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.