
fzn_search(+FznState)

   Run the search part of a FlatZinc model

Arguments
   FznState            FlatZinc state descriptor

Type
   library(flatzinc)

Description

	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.
    

Modes and Determinism
   fzn_search(+) is nondet

Fail Conditions
   Fails if no (further) solution is found

Examples
   
    my_fzn_run_stream(ModelStream, Options) :-
	fzn_init(Options, State),
	fzn_load_stream(ModelStream, State),
	fzn_search(State),
	fzn_output(State).


See Also
   fzn_init / 2, fzn_load_stream / 2, fzn_output / 1
