------------------------------------------------------------------- Sun Dec 31 21:22:54 UTC 2023 - Stefan Brüns - 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. ------------------------------------------------------------------- Sat Jul 16 21:54:45 UTC 2022 - Stefan Brüns - Update to version 0.7.0, see https://github.com/MiniZinc/minizinc-python/blob/0.7.0/CHANGELOG.rst ------------------------------------------------------------------- Thu Apr 28 13:45:02 UTC 2022 - Stefan Brüns - Initial package version (0.6.0)