Skip to content

MiniZinc Edge (unstable development release)

Pre-release
Pre-release

Choose a tag to compare

@github-actions github-actions released this 13 Aug 06:35
· 1 commit to 5be714d05cb40b5c2a44b0204ad029cc20432dde since this release
a3899ba

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.

These packages contain the MiniZinc command line tools and solvers. Full bundles that also include the MiniZinc IDE are available at https://github.com/MiniZinc/MiniZincIDE/releases/tag/edge

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