This is a collection of MiniZinc benchmark instances including instances from the 2008-2012 MiniZinc challenges.
All models and data files have been placed in the public domain and are available under the MIT license.
There is further information in the README and LICENSE files.