Assuming that a FlatZinc model has previously been set up and solved, this predicate will perform the output actions specified by the model's output annotations. If no output annotations were given, no variable bindings will be printed. 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).