Added missing metadata from 2011 and 2014 challenges#9

Open

lokdlok wants to merge 1 commit intoMiniZinc:masterfrom

Commits on Oct 16, 2018

Added missing metadata for rectangle-packing in 2014 and pattern-set-mining in 2011
lokdlok
committed

⚡