[ 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

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)