Pymzn Versions Save

Bug fixes:

• Solve problem with array of enums caused by bug in MiniZinc (using a workaround).
• Solve problem with solver CLI parameter listing.

• Support parsing of saved solution streams.
• Bugfixes.

• Massive redesign of the whole pipeline using features from MiniZinc 2.2.0 (earlier MiniZinc versions are no longer supported, yet PyMzn 0.17.1 should work fine for the most part).
• Now PyMzn interfaces only to the minizinc executable, greatly simplifying internal complexity.
• The minizinc function now only executes MiniZinc synchronously (i.e. wait for it to finish before parsing the solution stream).
• Asyncronous solving is now handled via Python's asyncio package. The new pymzn.aio module contains the minizinc coroutine, i.e. an asyncronous version of the pymzn.minizinc function. The pymzn.aio module requires Python >= 3.6.
• PyMzn can now parse MiniZinc enums into Python Enums and back.
• Substantial improvement of the preprocessing, solving and solution parsing.
• The Solutions class returned by the minizinc function has been improved too.
• Removed the MiniZincModel class for dynamic modelling, just use Jinja instead.
• Improved configuration facility.
• The pymzn command line executable has been greatly improved.
• This version is not backward compatible. Most of the existing code will need to be adapted.

Bugfixes.

• Added several configuration options
• Few bug fixes
• Better logging

• Several major bug fixes.
• Better logging and error handling.
• Added option to avoid compiling output annotations (not supported by some solvers).

• Support for OR-tools solver
• Dependencies for templating and file-based configuration are now optional
• Better error messages
• Bug fixes

This version contains several improvements:

• Completely redesigned process control, now the pymzn.minizinc can work asynchronously;
• Added templates using Jinja2;
• Added several new features, including retrieving statistics, and querying for a specific number of solutions;
• Tested on Windows.

Modernized the library quite a bit. We added supports to all the solvers bundled in the MiniZincIDE package, including:

• Chuffed
• CBC
• Gurobi
• G12 (fd, lazy, mip)

The API is now simpler and more intuitive, many redundant options have been removed and the whole library is now much lighter to use and maintain.

A new, more stable version of PyMzn, with many new features.