[ library(flatzinc) | Reference Manual | Alphabetic Index ]

# fzn_run_stream(+Stream, ++SolverOrOptions)

Run a FlatZinc model from a given open input stream

Stream
  ECLiPSe stream name or handle
SolverOrOptions
  Name of solver mapping module, or zn_options-structure

## Description

Reads a FlatZinc model from a stream, and interprets it using the solver mapping defined in SolverOrOptions. At the end of solving, results are printed to the output stream, timing and progress messages are printed to the log_output stream, warnings to the warning_output stream, and error messages the error stream. This predicate always succeeds and closes the stream.

### Modes and Determinism

- fzn_run_stream(+, ++) is det

## Examples

        ?- open("mymodel.fzn",read,S), fzn_run_stream(S, fzn_ic).
    	Found a solution with cost 10
    	Found no solution with cost 7.0 .. 9.0
    	end = 10
    	b1 = 1
    	b2 = 0
    	b3 = 1
    	b4 = 0
    	Objective value = 10
    	Total time 0.031s cpu (0.016 setup + 0.000 search)

## See Also

fzn_run / 1, fzn_run / 2