[ library(flatzinc) | 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
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)