Perform the search part of a FlatZinc model, as specified in the model's solve-item. The model must previously have been loaded successfully using fzn_load_xxx or mzn_load_xxx. If the solve item was 'satisfy', multiple solutions may be returned on backtracking.
my_fzn_run_stream(ModelStream, Options) :-
fzn_init(Options, State),
fzn_load_stream(ModelStream, State),
fzn_search(State),
fzn_output(State).