dekker.one / half-reif-benchmarks
This repository has no description
Star
Fork 0
Watch
half-reif-benchmarks software minizinc docs es examples
76 files
allinterval_es.mzn
allinterval2_es.mzn
allinterval3_es.mzn
aust_es.mzn
aust-enum_es.mzn
bboolsum_es.mzn
bddsum_es.mzn
binarysum_es.mzn
binarysum.mzn
cakes_es.mzn
cakes2_es.mzn
cnonoverlap_es.fzn
cnonoverlap_es.mzn
count1_es.mzn
count2_es.mzn
count3_es.mzn
cumulative_es.mzn
disjunctive_es.mzn
dummy_es.mzn
flexible-js_es.mzn
golomb_es.mzn
grocery_es.mzn
inverse_es.mzn
jdata_es.dzn
jobshop_es.fzn
jobshop_es.mzn
jobshop_es.ozn
jobshop2_es.mzn
jobshop3_es.mzn
knapsack_es.mzn
laplace_es.mzn
latin_es.mzn
latinbool_es.mzn
layout_es.dzn
lightup_es.dzn
lightup_es.mzn
linear_es.mzn
loan_es.mzn
loan1_es.dzn
loan2_es.dzn
loan3_es.dzn
magic-series_es.mzn
magic-series2_es.mzn
manhattan_es.mzn
meal_es.dzn
meal_es.mzn
meal-zinc_es.dzn
moving_es.dzn
moving_es.mzn
nqueens_es.mzn
nqueens_sym_es.mzn
nqueens-ann_es.mzn
nurse_es.mzn
oesort_es.mzn
oesort.mzn
pantry_es.dzn
pantry2_es.dzn
reflection_es.mzn
scope_es.mzn
send-more-money_es.mzn
simple-prod-planning_es.mzn
simple-prod-planning-data_es.dzn
social-golfers_es.dzn
social-golfers_es.fzn
social-golfers_es.mzn
social-golfers_es.ozn
sonet_es.dzn
stable-marriage_es.dzn
stable-marriage_es.mzn
sudoku_es.dzn
sudoku_es.mzn
uboolsum_es.mzn
unbounded_es.mzn
unconstrained_es.mzn
wedding_es.mzn
wedding2_es.mzn