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