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