
fzn_init(++SolverOrOptions, -FznState)

   Initialize a FlatZinc solver

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

Type
   library(flatzinc)

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)
