pymzn.solns2out

pymzn.solns2out(soln_stream, ozn_file)

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

Parameters:
  • soln_stream (str) – The solution stream returned by the solver.
  • ozn_file (str) – The ozn file path produced by the mzn2fzn function.
Returns:

Returns the output stream encoding the solution stream according to the provided ozn file.

Return type:

str