fzn_init(++SolverOrOptions, -FznState)

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