4.2. The MiniZinc libraryΒΆ