An archive repository containing the MiniZinc instances as used within the MiniZinc challenge.
Visit the MiniZinc Challenge website »
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 |
|---|---|
| 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 |
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.