Added
- Add support for MiniZinc tuple and record types.
Changed
- Minimum supported version of MiniZinc has increased from 2.5.0 to 2.5.4.
Fixed
- Ensure time events send using the JSON stream are parsed as
timedelta
objects. - Pass JSON definitions in using JSON instead of generated DZN files.