Load a FlatZinc model and set up its constraints. The options that were used in fzn_init/2 will be taken into account. If fzn_load_stream/2 succeeds, all constraints have been successfully set up, and the search phase can begin.
This predicate will always close ModelStream on success, failure or abort.
my_fzn_run_stream(ModelStream, Options) :-
fzn_init(Options, State),
fzn_load_stream(ModelStream, State),
fzn_search(State),
fzn_output(State).