PyMzn 0.18.3

Bug fixes:

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

PyMzn 0.18.2

• Support parsing of saved solution streams.
• Bugfixes.

PyMzn 0.18.1

• 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.

PyMzn 0.17.1

Bugfixes.

PyMzn 0.17.0

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

PyMzn 0.16.12

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

PyMzn 0.16.7

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

PyMzn 0.16.3

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.

PyMzn 0.14.0

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.

PyMzn 0.11.2

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