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

# fzn_init(++SolverOrOptions, -FznState)

Initialize a FlatZinc solver

SolverOrOptions
  Name of solver mapping module, or zn_options-structure
FznState
  Output: a FlatZinc state descriptor

## Description

Initialize a FlatZinc solver and return a descriptor, ready for loading the model. The given solver options are taken into account and remembered in the descriptor.

### Modes and Determinism

- fzn_init(++, -) is det

## 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_load_stream / 2, fzn_search / 1, fzn_output / 1, struct(zn_options)