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 or BufferedReader) – The solution stream returned by the solver.
  • ozn_file (str) – The ozn file path produced by the mzn2fzn function.
Returns:

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

Return type:

generator of str