[ library(flatzinc) | Third Party Libraries | Reference Manual | Alphabetic Index ]
Load a FlatZinc model and set up its constraints
- An ECLiPSe stream name or handle
- a FlatZinc state descriptor
Load a FlatZinc model and set up its constraints. The options
that were used in fzn_init/2 will be taken into account.
If fzn_load_stream/2 succeeds, all constraints have been
successfully set up, and the search phase can begin.
This predicate will always close ModelStream on success,
failure or abort.
Modes and Determinism
- fzn_load_stream(+, -) is semidet
Fails if any constraint fails during setup
my_fzn_run_stream(ModelStream, Options) :-
fzn_init / 2, fzn_search / 1, fzn_output / 1, fzn_var_lookup / 3, struct(zn_options)