MiniZinc Edge (unstable development release)

This release is continuously updated to point to the latest development version of MiniZinc.

The packages provided here are unstable, and not guaranteed to work. However, they may be useful if you wish to try out upcoming features/bug fixes.

Please refer to the change log for details:
https://docs.minizinc.dev/en/latest/changelog.html#unreleased

MiniZinc 2.9.4

Please refer to the change log for details:
https://docs.minizinc.dev/en/2.9.4/changelog.html

MiniZinc 2.9.3

Please refer to the change log for details:
https://docs.minizinc.dev/en/2.9.3/changelog.html

MiniZinc 2.9.2

Please refer to the change log for details:
https://docs.minizinc.dev/en/2.9.2/changelog.html

MiniZinc 2.9.1

Please refer to the change log for details:
https://docs.minizinc.dev/en/2.9.1/changelog.html

MiniZinc 2.9.0

Please refer to the change log for details:
https://docs.minizinc.dev/en/2.9.0/changelog.html

MiniZinc 2.8.7

Please refer to the change log for details:
https://docs.minizinc.dev/en/2.8.7/changelog.html

MiniZinc 2.8.6

Please refer to the change log for details:
https://docs.minizinc.dev/en/2.8.6/changelog.html

MiniZinc 2.8.5

Please refer to the change log for details:
https://www.minizinc.org/doc-2.8.5/en/changelog.html

MiniZinc 2.8.4

Please refer to the change log for details:
https://www.minizinc.org/doc-2.8.4/en/changelog.html