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