- Update to version 0.9.0:
  * Add support for MiniZinc tuple and record types.
  * Minimum supported version of MiniZinc has increased from
    2.5.0 to 2.5.4.
  * Ensure time events send using the JSON stream are parsed as
    timedelta objects.
  * Pass JSON definitions in using JSON instead of generated
    DZN files..
- Update to version 0.8.0:
  * The project no longer supports Python 3.6.
  * Fix the conversion when using a Python enumerated type in
    MiniZinc that uses non-ascii identifiers.

• Files Changed
• Browse Source

Update to 0.7.0

• Browse Source