MiniZinc Tutorial Files

• allinterval.mzn
• allinterval2.mzn
• allinterval3.mzn
• assert.mzn
• aust.mzn
• cake-df.dzn
• cakes.mzn
• cakes2.mzn
• cakes3.mzn
• cakes4.mzn
• constrainedtype.mzn
• cumulative.mzn
• cutting-board.dzn
• cutting-board.mzn
• disjunctive.mzn
• golomb.mzn
• golomb1.dzn
• grocery.mzn
• inverse.mzn
• jobshop.dzn
• jobshop.mzn
• jobshop2.dzn
• jobshop2.mzn
• jobshop3.mzn
• jobshop_nxn.mzn
• knapsack-binary.dzn
• knapsack-binary.mzn
• knapsack-binary2.mzn
• knapsack.dzn
• knapsack.mzn
• laplace.mzn
• layout.dzn
• layout2.dzn
• loan.mzn
• loan1.dzn
• loan2.dzn
• loan3.dzn
• magic-series.mzn
• magic-series2.mzn
• meal.dzn
• meal.mzn
• moving.dzn
• moving.mzn
• n-queens.mzn
• n10.dzn
• n16.dzn
• n4.dzn
• n6.dzn
• n8.dzn
• nq.mzn
• nqueens-ann.mzn
• nqueens.mzn
• nurse.dzn
• nurse.mzn
• pantry.dzn
• pantry2.dzn
• reflection.mzn
• scope.mzn
• send-more-money.mzn
• set-cover.mzn
• simple-float-example.mzn
• simple-prod-planning.dzn
• simple-prod-planning.mzn
• social-golfers.dzn
• social-golfers.mzn
• sonet.dzn
• stable-marriage.dzn
• stable-marriage.mzn
• sudoku.dzn
• sudoku.mzn
• task-assign2.mzn
• test.mzn
• unbounded.mzn
• unconstrained.mzn
• wedding.mzn
• wedding2.mzn