Overview
Request 1135907 accepted
- 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.
- Created by StefanBruens
- In state accepted
-
Package maintainer:
StefanBruens
Request History
StefanBruens created request
- 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.
StefanBruens accepted request
