[ library(flatzinc) | Third Party Libraries | Reference Manual | Alphabetic Index ]

# fzn_search(+FznState)

Run the search part of a FlatZinc model

FznState
  FlatZinc state descriptor

## 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