Wraps the solns2out utility, executes it on the solution stream, and then returns the output stream.
- stream (str or BufferedReader) – The solution stream returned by the solver.
- ozn_file (str) – The ozn file path produced by the mzn2fzn function.
The output stream of solns2out encoding the solution stream according to the provided ozn file.
generator of str