pymzn.solns2out

pymzn.solns2out(stream, ozn_file)

Wraps the solns2out utility, executes it on the solution stream, and then returns the output stream.

Parameters

• stream (str) – A solution stream. It may be a solution stream saved by a previous call to minizinc.

• ozn_file (str) – The path to the .ozn file produced by the mzn2fzn function.

Returns

The output stream of solns2out encoding the solution stream according to the provided ozn file.

Return type

str