https://github.com/minizinc/mzn-challenge
An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
https://github.com/minizinc/mzn-challenge
Last synced: 4 months ago
JSON representation
An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
- Host: GitHub
- URL: https://github.com/minizinc/mzn-challenge
- Owner: MiniZinc
- Created: 2022-06-09T03:49:14.000Z (about 4 years ago)
- Default Branch: develop
- Last Pushed: 2024-03-22T11:25:53.000Z (over 2 years ago)
- Last Synced: 2024-03-27T06:59:26.696Z (over 2 years ago)
- Language: HTML
- Size: 53.7 MB
- Stars: 6
- Watchers: 6
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
MiniZinc Challenge Archive
An archive repository containing the MiniZinc instances as used within the MiniZinc challenge.
Visit the MiniZinc Challenge website »
### MiniZinc version
The following table shows the version of the MiniZinc compiler used to compile the MiniZinc instances for each iteration of the MiniZinc Challenge.
| Year | MiniZinc version |
| ---- | ---------------- |
| 2024 | 2.8.5 |
| 2023 | 2.7.6 |
| 2022 | 2.6.3 |
| 2021 | 2.5.5 |
| 2020 | 2.4.3 |
| 2019 | 2.3.1 |
| 2018 | 2.1.7 |
| 2017 | 2.1.5 |
| 2016 | 2.0.13 |
| 2015 | 2.0.4 |
| 2014 | 1.6 |
| 2013 | 1.6 |
| 2012 | 1.5 |
| 2011 | 1.3 |
| 2010 | 1.1 |
| 2009 | 1.0 |
| 2008 | 0.8 |
### Licensing
A `LICENSE` files is provided in each specific problem directory when the license is known.
Problems submitted to recent iterations of the challenge are required to be available under an _MIT license_.
However, this was not the case for earlier iterations.
As such, other models might be available under a different license or no license might be available.
We welcome authors to contact us to update any licensing details.