Skip to content

MiniZinc Python 0.2.2

Choose a tag to compare

@Dekker1 Dekker1 released this 29 Oct 05:57

Added

  • Add output property to CLIInstance to expose the output interface given by
    MiniZinc.

Changed

  • Improved interaction with solution checker models. Solution checkers can
    now be added to an ```Instance/Model`` and an ``check`` method will be
    added to the generated solution objects.
  • Change the Python packaging system back to setuptools due to the excessive
    required dependencies of Poetry.

Fixed

  • Fix the MiniZinc output parsing of sets of an enumerated type.
  • Fix the TypeError that occurred when a hard timeout occurred.
  • Allow trailing commas for sets and arrays in DZN files.