minizinc-benchmarks
===================

A suite of MiniZinc benchmarks.

The MiniZinc Benchmark Suite
============================

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.

There is further information in the README file.

Update the description of this repository.
Update the description of this repository.

README.md:
   As above.
