mzn_run

Description

Runs a MiniZinc model, taking all the necessary parameters from the process command line. The recommended way to use this predicate is by calling eclipse from a command line as:

        eclipse -e minizinc:mzn_run -- [<options>] <model>.mzn [<data>.dzn]

The following options are recognized:

<model>.mzn

a minizinc model file, with mandatory .mzn extension.

<data>.dzn

a minizinc data file, with mandatory .dzn extension.

-a

compute all solutions. This is currently only meaningful with satisfaction problems.

-b <solver>

selects the solver backend (fzn_ic, fzn_eplex, fzn_fd). The default is fzn_ic.

-d <datafile>

an alternative way to specify a data file.

-n <num>

compute at most the given number of solutions. This is currently only meaningful with satisfaction problems. Default is 1.

--no-optimize

pass the --no-optimize option to mzn2fzn, which can improve performance on large models.

--no-log

suppress all output printed to the log_output stream. Equivalent to calling set_stream(log_output,null).

-o <outputfile>

redirect regular solver output to the given file. Note that log_output, warning_output and error output are not redirected.

--raw

print the raw flatzinc output (corresponding to the flatzinc output annotations) instead of the postprocessed (via solns2out) output corresponding to the minizinc output items.

-s

after each solution, print a statistics-comment as part of the output. Without this option, this information goes to the log_output stream, which can be suppressed if desired.

-t <seconds>

solver timeout in seconds. This does not apply to the Minizinc-to- Flatzinc translation (mzn2fzn), but only to the solver setup and search phases. With satisfaction problems, a timeout may lead to fewer solutions, with optimization problems to a suboptimal solution, or no solution at all.

Modes and Determinism

• mzn_run is det

Examples

   $ eclipse -e minizinc:mzn_run -- --no-log -a send-more-money.mzn 
      9567
   +  1085
   = 10652
   ----------
   ==========

See Also