fzn_run(+SolverOrOptions)

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, results are printed to the output stream, timing and progress messages are printed to the log_output stream, warnings to the warning_output stream, and error messages 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