MiniZinc example files from the tutorial

• allinterval.mzn
• allinterval2.mzn
• allinterval3.mzn
• aust-enum.mzn
• aust.mzn
• bboolsum.mzn
• bddsum.mzn
• binarysum.mzn
• cakes.mzn
• cakes2.mzn
• cars.mzn
• cars_data.dzn
• cnonoverlap.mzn
• cumulative.mzn
• data.dzn
• disjunctive.mzn
• dummy.mzn
• flexible-js.mzn
• grocery.mzn
• inverse.mzn
• jdata.dzn
• jobshop.mzn
• jobshop2.mzn
• jobshop3.mzn
• knapsack.mzn
• laplace.mzn
• latin.mzn
• latin_squares.mzn
• latinbool.mzn
• lightup.mzn
• linear.mzn
• loan.mzn
• loan1.dzn
• loan2.dzn
• loan3.dzn
• magic-series.mzn
• magic-series2.mzn
• manhattan.mzn
• meal.dzn
• meal.mzn
• model.mzn
• moving.dzn
• moving.mzn
• nqueens-ann.mzn
• nqueens.mzn
• nqueens_sym.mzn
• nurse.mzn
• oesort.mzn
• pantry.dzn
• pantry2.dzn
• prod-planning-data.dzn
• prod-planning.mzn
• reflection.mzn
• scope.mzn
• send-more-money.mzn
• social-golfers.mzn
• stable-marriage.dzn
• stable-marriage.mzn
• sudoku.dzn
• sudoku.mzn
• uboolsum.mzn
• wedding.mzn
• wedding2.mzn