Added missing problems and instances from the MiniZinc challenges 2012 to 2015#7

Open

informarte wants to merge 2 commits intoMiniZinc:masterfrom informarte:add-missing-problems-and-instances

+876

Commits on Sep 13, 2016

Added missing problems and instances from the MiniZinc challenges 2012 to 2015
Michael Marte
committed

Commits on Sep 14, 2016

Added the league model from the MiniZinc challenge 2013
Michael Marte
committed