Assuming that a FlatZinc model has previously been set up and solved, this predicate will perform the output actions specified in the model's output item. If no output item was specified, a default output will be generated, consisting of the display of values of all model variables in input order. In addition, statistics information will be printed to the log_output stream.
my_fzn_run_stream(ModelStream, Options) :-
fzn_init(Options, State),
fzn_load_stream(ModelStream, State),
fzn_search(State),
fzn_output(State).