[ 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, resuls and timings are printed to the output stream. Error messages may be printed to the error stream. This predicate always succeeds and closes the stream.

Modes and Determinism

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