pymzn.MiniZincError

exception pymzn.MiniZincError(mzn_file, args, stderr=None)

Generic error raised by the PyMzn functions.

Parameters

• mzn_file (str) – The MiniZinc file that generated the error.

• args (list of str) – The command line arguments that generated the error.

• stderr (str) – The standard error printed by the minizinc executable.