[ library(minizinc) | Reference Manual | Alphabetic Index ]

# mzn_run

Run a MiniZinc model using command line arguments

## 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]

(note the `--` that separates eclipse's own arguments from the arguments interpreted by mzn_run/0).

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.

Note: currently, only a single data file can be specified.

### 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

mzn_run / 2, mzn_run / 3, flatzinc : struct(zn_options)