2. A MiniZinc TutorialΒΆ