dekker.one / half-reif-benchmarks
This repository has no description
Star
Fork 0
Watch
half-reif-benchmarks software minizinc docs en examples
1 folder · 84 files
command_line
allinterval.mzn
allinterval2.mzn
allinterval3.mzn
assignment-combine-enums.mzn
assignment-extend-enum.mzn
aust-2.mzc.mzn
aust-3.mzc.mzn
aust-enum.mzn
aust.mzc.mzn
aust.mzn
bboolsum.mzn
bddsum.mzn
binarysum.mzn
cakes.mzn
cakes2.mzn
cars_data.dzn
cars.mzn
cnonoverlap.fzn
cnonoverlap.mzn
count1.mzn
count2.mzn
count3.mzn
cumulative.mzn
disjunctive.mzn
dummy.mzn
flexible-js.mzn
golomb.mzn
grocery.mzn
inverse.mzn
jdata.dzn
jobshop.fzn
jobshop.mzn
jobshop.ozn
jobshop2.mzn
jobshop3.mzn
knapsack.mzn
laplace.mzn
latin_squares.mzn
latin.mzn
latinbool.mzn
layout.dzn
lightup.dzn
lightup.mzn
linear.mzn
loan.mzn
loan1.dzn
loan2.dzn
loan3.dzn
magic-series.mzn
magic-series2.mzn
manhattan.mzn
meal-zinc.dzn
meal.dzn
meal.mzn
moving.dzn
moving.mzn
nqueens_sym.mzn
nqueens-ann.mzn
nqueens.mzc.mzn
nqueens.mzn
nurse.dzn
nurse.mzn
oesort.mzn
pantry.dzn
pantry2.dzn
photo.mzc.mzn
photo.mzn
prod-planning-data.dzn
prod-planning.mzn
reflection.mzn
scope.mzn
send-more-money.mzn
social-golfers.dzn
social-golfers.mzn
sonet.dzn
stable-marriage.dzn
stable-marriage.mzn
sudoku.dzn
sudoku.mzn
uboolsum.mzn
unbounded.mzn
unconstrained.mzn
wedding.mzn
wedding2.mzn