[ 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.
--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

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)