[ library(flatzinc) | Third Party Libraries | Reference Manual | Alphabetic Index ]

# fzn_run(+SolverOrOptions)

Run a FlatZinc model from standard input

SolverOrOptions
  Name of solver mapping module, or zn_options-structure

## Description

Reads a FlatZinc model from the input stream, and interprets it using the solver mapping defined in SolverOrOptions. At the end of solving, resuls and timings are printed to the output stream. Error messages may be printed to the error stream. This predicate always succeeds. It is equivalent to:

        fzn_run(SolverOrOptions) :-
    	fzn_run_stream(input, SolverOrOptions).

### Modes and Determinism

- fzn_run(+) is det

## Examples

        % generate_model | eclipse -e "flatzinc:fzn_run(fzn_ic)"

## See Also

fzn_run / 2, fzn_run_stream / 2