MiniZinc example files from the tutorial