Skip to content

MiniZinc Python 0.4.1

Compare
Choose a tag to compare
@Dekker1 Dekker1 released this 11 Nov 02:04

Added

  • Support for Python 3.9. (MiniZinc Python will aim to support all versions of
    Python that are not deprecated)
  • Experimental support for capturing the error output of the MiniZinc process
    in CLIInstance.
  • Experimental support for verbose compiler and solver output (using the -v
    flag) in CLIInstance.

Changed

  • The MiniZinc Python repository moved from GitLab to GitHub, replacing GitLab
    CI for GitHub Actions for the continuous testing.
  • Values of an enumerated type defined in MiniZinc will now appear in solutions
    as a member of a singular anonymous enum.Enum class.

Fixed

  • Handle the cancellation of asynchronous solving and correctly dispose of the
    process
  • Correct the JSON representation of sets of with IntEnum members. (Lists
    are still not correctly represented).
  • check_solution will now correctly handle solution values of an enumerated
    type defined in MiniZinc.