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.