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

README.md:
   As above.

informarte/minizinc-benchmarks,MiniZinc/minizinc-benchmarks,informarte/minizinc-benchmarks,MiniZinc/minizinc-benchmarks