solns2oututility, executes it on the solution stream, and then returns the output stream.
- 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
.oznfile produced by the
The output stream of solns2out encoding the solution stream according to the provided ozn file.