Toggle navigation
MiniZinc
Software
Resources
Team
Challenge
Discussions
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