Skip to content

MiniZinc Python 0.2.3

Choose a tag to compare

@Dekker1 Dekker1 released this 29 Oct 05:58

Changed

  • Add text to the empty MiniZincError that occurs when MiniZinc exits with a non-zero
    exit status

Fixed

  • Close generated solver configuration before handing it to MiniZinc. This fixes the
    usage of generated solver configurations on Windows.
  • The DZN parser now constructs correct range objects. The parser was off by one due to
    the exclusive upper bound in Python range objects.
  • Rewrite MiniZinc fields that are keywords in Python. These names cannot be used
    directly as members of a dataclass. Python keywords used in MiniZinc are rewritten to
    "mzn_" + {keyword} and a warning is thrown.