
fzn_run(+SolverOrOptions)

   Run a FlatZinc model from standard input

Arguments
   SolverOrOptions     Name of solver mapping module, or zn_options-structure

Type
   library(flatzinc)

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
   fzn_run / 2, fzn_run_stream / 2
