Problems

This table contains all problems used for the MiniZinc Challenge 2008–2025. (RC stands for redundant constraints and SBC for symmetry breaking constraints.)

ProblemTypeKindRCSBCYearsMiniZinc Globals
accaprealmin2019, 2022, 2024diffn
aircraft-disassemblyrealmin2024cumulative
amazepuzzlemin2012count
amaze2puzzlesat2012
amaze3puzzlesat✓2014, 2019count
arithmetic-targetpuzzlemin✓2022all_different_except_0, count
atsprealmin2021, 2025
bacprealmin2010, 2011
black-holecombisat2009, 2011, 2013, 2025inverse, table
blocks-worldpuzzlemin✓2022global_cardinality_closed, increasing
bnn-plannercombimin2020
cable-tree-wiringrealmin✓2020, 2024all_different
cargorealmin2013, 2017, 2018cumulative, diffn
carpet-cuttingrealmin✓2011, 2012, 2016, 2021, 2025cumulative, diffn
celarcombimin2013, 2016
cgtrealmin✓2025all_different, strictly_increasing
chessboardpuzzlemax✓✓2023global_cardinality, lex_lesseq
city-positioncombimin✓2017
code-generatorrealmin✓✓2019, 2020, 2023all_different, cumulative, decreasing, diffn, diffn_nonstrict, maximum, minimum, table, value_precede_chain
collaborative-constructioncombimin✓2020
community-detectioncombimax2017, 2024value_precede_chain, global_cardinality_low_up
community-detection-rndcombimax✓2021seq_precede_chain, global_cardinality_low_up
compressioncombimin2024global_cardinality
concert-hall-capcombimax✓2018, 2024all_different_except_0, value_precede_chain
costas_arraycombisat✓✓2010, 2011, 2015all_different
crosswordspuzzlemax2017all_different
cryptanalysisrealsat2016
cvrprealmin✓2015circuit
cyclic-rcpspcombisat2011, 2014cumulative
debruijn_binarycombisat2008all_different, global_cardinality
depot_placementcombimin✓2010, 2011, 2016all_different
diameterc-mstcombimin✓✓2016, 2022
EchoSchedrealmin✓2025
elitserienrealmin2014, 2016, 2018, 2023all_different, global_cardinality_closed, inverse, member, regular
evm-super-compilationrealmin2023global_cardinality_low_up
fast-foodcombimin2011, 2012
fbd1realmin2025all_different
fillominopuzzlesat2009, 2011, 2014
filterscombimin2010, 2012, 2013, 2016diffn, maximum
fjspcombimin2013cumulative
flowshop-workersrealmin✓2021
fox-geese-cornpuzzlemax✓2019, 2024
freepizzarealmin2015
gametescombimin✓2023all_different_except_0, count, increasing
gbaccombimin2016, 2017, 2020bin_packing_load, global_cardinality_low_up_closed
generalized-peacable-queenspuzzlemax✓2022all_equal, global_cardinality, lex_lesseq, regular, value_precede_chain
gfd-schedulecombimin✓2015nvalue, at_most
gfd-schedule2realmin✓2016, 2018, 2022at_most, cumulative, nvalue
ghoulombcombimin2010, 2013cumulative
graph-clearcombimin2024all_different
grid-colouringcombimin2010, 2011, 2015
groupsplittercombimax✓✓2017, 2019, 2025count, table
gt-sortcombimin2025all_different, strictly_increasing
harmonypuzzlemin2024all_equal, count_eq, min, strictly_decreasing
hitoripuzzlemax2025all_different_except_0, connected
hoist-benchmarkrealmin✓2020, 2024
hrcrealmin2017, 2019
ihtc-2024-kletzanderrealmin2025cumulative
ihtc-2024-marterealmin2025bin_packing_load, cumulative, nvalue
isrealmin✓2015, 2020, 2025circuit, table
java-auto-gencombimin2016all_different, element
java-routingrealmin2013, 2021all_different, element
jp-encodingrealmin2014, 2017count
kidney-exchangecombimax✓2019, 2023all_different, bin_packing, seq_precede_chain
l2pcombimin2013all_different
largeschedulingcombimin✓2015, 2018cumulative
leaguerealmin2012count
league-2013realmin2013count
liner-sf-repositioningrealmin2014, 2019all_different, all_different_except_0
lot-sizingcombimin✓✓2019, 2020all_different, at_least, at_most, global_cardinality
ma-path-findingcombimin2017, 2022
mappingrealmin2015, 2016, 2018, 2021bin_packing_load, count, maximum, network_flow_cost
mariopuzzlemax2013, 2014, 2017subcircuit
maximum-dagcombimax2016
median-stringcombimin2019
minimal-decision-setscombimin2020
mondokupuzzlemin✓2025global_cardinality, value_precede_chain
monitor-placement-1idrealmin2024
monomatchsat2021all_different
mqueenspuzzlemin2014lex_lesseq
mrcpspcombimin✓2016, 2023cumulative, element
mspsprealmin2012cumulative
multi-agent-graph-coveragecombimin2023all_different
multi-knapsackcombimax2014, 2015, 2019knapsack
MZNC_connectrealmin2021
neighbourspuzzlemax✓✓2018, 2021, 2024lex_lesseq
network_50_cstrrealmin2024
nfccombimin2016, 2022network_flow_cost
nmseqcombisat2008, 2013, 2015
nonogrampuzzlesat2009, 2011, 2012, 2013regular
nsiderealmax2019cumulative, global_cardinality_low_up
on-call-rosteringcombimin2013, 2018count
oocsp_racksrealsat2016, 2018global_cardinality, increasing
opdcombimin✓2015, 2017lex_greatereq
open_stackscombimin2009, 2011, 2015all_different
openshopcombimin2014cumulative
opt-cryptanalysisrealmin2017, 2018, 2021table
p1fcombimin✓2009, 2015all_different, inverse, lex_less
p1f-pjscombimin✓2020, 2021all_different, circuit, inverse, lex_less
parity-learningcombimin2012
pattern-set-miningcombimax2011, 2012, 2013lex_less
peacable_queenspuzzlemax2021, 2024count, regular, value_precede
pennies-optpuzzlemax✓2023all_different, decreasing
pentominoespuzzlesat2008, 2011, 2013, 2020regular
pentominoes-zayenzsat2021regular
perfect_squarepuzzlesat2021
physician-schedulingrealmin2021global_cardinality_low_up, nvalue
pillars-and-plankspuzzlemin✓2020diffn
portalpuzzlemin2024
prize-collectingpuzzlemax2011, 2016
products-and-shelvesrealmin✓2025diffn_nonstrict_k, increasing, lex_chain_lesseq, seq_precede_chain
project-planningrealmin2012, 2015
prop_stresscombisat2009
proteindesign12realmin2013, 2018, 2025table
ptvrealmin2019count
quasigroup7combisat2008all_different
racpcombimin✓2018, 2020cumulative
radiationrealmin2008, 2012, 2013, 2015, 2020
rcpspcombimin2008, 2013cumulative
rcpsp_maxcombimin2010cumulative
rcpsp-wetcombimin✓2016, 2017cumulative
rcpsp-wet-diversecombimax✓2019cumulative
rectangle-packingcombisat2009cumulative
rectangle-packing-2014combisat2014cumulative, diffn
rel2ontorealmin✓2017all_different
road_constructioncombimin2014, 2017
rostercombimin2009, 2011, 2015, 2023at_least, at_most, exactly
roster-shifts-boolcombimax✓✓2023
roster-sicknesscombimin2022
rotating-workforcerealsat✓✓2018, 2019global_cardinality_low_up, regular
rotating-workforce-schedulingrealsat2022global_cardinality_low_up, regular, sliding_sum
routing-flexiblerealmin2017
rubikpuzzlesat2013
sdn-chainrealmin2020
search_stresscombisat2008
search_stress2combisat2009
seat-movingcombimin✓2018, 2021all_different, all_different_except_0
ship-schedulerealmax2011, 2012, 2014
shortest_pathcombimin2008
skill_allocationrealmin2020, 2025
slow_convergencecombisat2008
smeltpuzzlemin2014cumulative
soccer-computationalrealsat2018, 2020all_different
solbatcombisat2010, 2011, 2012, 2014, 2016
speck-optimisationrealmin2023all_equal
spot5realmin2014, 2015, 2022table
stable-goodscombimax2020
stack-cuttingstockcombimin✓2019cumulative
steelmillslabrealmin✓2017, 2019bin_packing_load
steiner-systemscombisat✓2021
steiner-treecombimin✓2018
still_lifepuzzlemax2009
still-life-wastagepuzzlemax2012
stochastic-fjspcombimin2014
stochastic-vrpcombimin2014, 2019circuit
stripboardrealmin✓✓2022, 2025all_different, diffn, disjunctive, strictly_decreasing
sudoku_fixedpuzzlesat2023all_different
sudoku_optpuzzlemin2022all_different
sugiyamapuzzlesat2010
table-layoutrealmin2011, 2023
tc-graph-colorcombimin2017
tdtsprealmin✓2015, 2017inverse
team-assignmentrealmax✓✓2018, 2022all_different, bin_packing, bin_packing_load
test-schedulingrealmin✓✓2018, 2023cumulative, disjunctive, value_precede_chain
tiny-cvrprealmin2024
towerrealmax2020, 2022, 2025argmax
tppcombimin2012, 2016subcircuit
trainrealmin2012, 2014, 2018
train-schedulingrealmin2024all_different, cumulative, disjunctive
traveling-tppvcombimin2014, 2017, 2022all_different, regular
travelling-thiefcombimax2023all_different, inverse
triangularpuzzlemax2015, 2019, 2022, 2024inverse
truckingcombimin2008
tsptwrealmin2025circuit
unit-commitmentrealmin2023
vaccinecombimax✓2022global_cardinality_low_up, lex_lesseq
valve-networkcombimax2023
vrprealmin2009, 2011, 2012, 2013
vrp-fsrealmin2021
vrp-submissionrealmin✓2021circuit
vrplcrealmin✓2018, 2023circuit, cumulative
whirlpoolpuzzlesat2020
wmsmc-intrealmin2021
word-equationscombimax2024nvalue
wordpressrealmin2022
work-task-variationrealmin2025global_cardinality, regular
wwtp_randomrealsat2010
wwtp_realrealsat2010, 2011
yumi-dynamicrealmin2021, 2024all_equal, all_different, circuit, cumulative, diffn, increasing, table, value_precede, value_precede_chain
yumi-staticrealmin2022, 2023all_equal, all_different, circuit, cumulative, diffn, increasing, table, value_precede, value_precede_chain
zephyrusrealmin2015
zephyrus-2016realmin✓✓2016, 2019lex_greatereq, lex_less

Globals

This table contains all global constraints used for the MiniZinc Challenge 2008–2025.

GlobalYearsProblems
all_different2008, 2009, 2010, 2011, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025cable-tree-wiring, cgt, code-generator, costas_array, crosswords, debruijn_binary, depot_placement, elitserien, fbd1, graph-clear, gt-sort, java-auto-gen, java-routing, kidney-exchange, l2p, liner-sf-repositioning, lot-sizing, monomatch, multi-agent-graph-coverage, open_stacks, p1f, p1f-pjs, pennies-opt, quasigroup7, rel2onto, seat-moving, soccer-computational, stripboard, sudoku_fixed, sudoku_opt, team-assignment, train-scheduling, traveling-tppv, travelling-thief, yumi-dynamic, yumi-static
all_different_except_02014, 2018, 2019, 2021, 2022, 2023, 2024, 2025arithmetic-target, concert-hall-cap, gametes, hitori, liner-sf-repositioning, seat-moving
all_equal2021, 2022, 2023, 2024generalized-peacable-queens, harmony, speck-optimisation, yumi-dynamic, yumi-static
argmax2020, 2022, 2025tower
at_least2009, 2011, 2015, 2019, 2020, 2023lot-sizing, roster
at_most2009, 2011, 2015, 2016, 2018, 2019, 2020, 2022, 2023gfd-schedule, gfd-schedule2, lot-sizing, roster
bin_packing2018, 2019, 2022, 2023kidney-exchange, team-assignment
bin_packing_load2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2025gbac, ihtc-2024-marte, mapping, steelmillslab, team-assignment
circuit2014, 2015, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025cvrp, is, p1f-pjs, stochastic-vrp, tsptw, vrp-submission, vrplc, yumi-dynamic, yumi-static
connected2025hitori
count2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022, 2023, 2024, 2025amaze, amaze3, arithmetic-target, gametes, groupsplitter, jp-encoding, league, league-2013, mapping, on-call-rostering, peacable_queens, ptv
count_eq2024harmony
cumulative2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025aircraft-disassembly, cargo, carpet-cutting, code-generator, cyclic-rcpsp, fjsp, gfd-schedule2, ghoulomb, ihtc-2024-kletzander, ihtc-2024-marte, largescheduling, mrcpsp, mspsp, nside, openshop, racp, rcpsp, rcpsp_max, rcpsp-wet, rcpsp-wet-diverse, rectangle-packing, rectangle-packing-2014, smelt, stack-cuttingstock, test-scheduling, train-scheduling, vrplc, yumi-dynamic, yumi-static
decreasing2019, 2020, 2023code-generator, pennies-opt
diffn2010, 2011, 2012, 2013, 2014, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025accap, cargo, carpet-cutting, code-generator, filters, pillars-and-planks, rectangle-packing-2014, stripboard, yumi-dynamic, yumi-static
diffn_nonstrict2019, 2020, 2023code-generator
diffn_nonstrict_k2025products-and-shelves
disjunctive2018, 2022, 2023, 2024, 2025stripboard, test-scheduling, train-scheduling
element2013, 2016, 2021, 2023java-auto-gen, java-routing, mrcpsp
exactly2009, 2011, 2015, 2023roster
global_cardinality2008, 2016, 2018, 2019, 2020, 2022, 2023, 2024, 2025chessboard, compression, debruijn_binary, generalized-peacable-queens, lot-sizing, mondoku, oocsp_racks, work-task-variation
global_cardinality_closed2014, 2016, 2018, 2022, 2023blocks-world, elitserien
global_cardinality_low_up2017, 2018, 2019, 2021, 2022, 2023, 2024community-detection, community-detection-rnd, evm-super-compilation, nside, physician-scheduling, rotating-workforce, rotating-workforce-scheduling, vaccine
global_cardinality_low_up_closed2016, 2017, 2020gbac
increasing2016, 2018, 2021, 2022, 2023, 2024, 2025blocks-world, gametes, oocsp_racks, products-and-shelves, yumi-dynamic, yumi-static
inverse2009, 2011, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025black-hole, elitserien, p1f, p1f-pjs, tdtsp, travelling-thief, triangular
knapsack2014, 2015, 2019multi-knapsack
lex_chain_lesseq2025products-and-shelves
lex_greatereq2015, 2016, 2017, 2019opd, zephyrus-2016
lex_less2009, 2011, 2012, 2013, 2015, 2016, 2019, 2020, 2021p1f, p1f-pjs, pattern-set-mining, zephyrus-2016
lex_lesseq2014, 2018, 2021, 2022, 2023, 2024chessboard, generalized-peacable-queens, mqueens, neighbours, vaccine
maximum2010, 2012, 2013, 2015, 2016, 2018, 2019, 2020, 2021, 2023code-generator, filters, mapping
member2014, 2016, 2018, 2023elitserien
min2024harmony
minimum2019, 2020, 2023code-generator
network_flow_cost2015, 2016, 2018, 2021, 2022mapping, nfc
nvalue2015, 2016, 2018, 2021, 2022, 2024, 2025gfd-schedule, gfd-schedule2, ihtc-2024-marte, physician-scheduling, word-equations
regular2008, 2009, 2011, 2012, 2013, 2014, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025elitserien, generalized-peacable-queens, nonogram, peacable_queens, pentominoes, pentominoes-zayenz, rotating-workforce, rotating-workforce-scheduling, traveling-tppv, work-task-variation
seq_precede_chain2019, 2021, 2023, 2025community-detection-rnd, kidney-exchange, products-and-shelves
sliding_sum2022rotating-workforce-scheduling
strictly_decreasing2022, 2024, 2025harmony, stripboard
strictly_increasing2025cgt, gt-sort
subcircuit2012, 2013, 2014, 2016, 2017mario, tpp
table2009, 2011, 2013, 2014, 2015, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025black-hole, code-generator, groupsplitter, is, opt-cryptanalysis, proteindesign12, spot5, yumi-dynamic, yumi-static
value_precede2021, 2022, 2023, 2024peacable_queens, yumi-dynamic, yumi-static
value_precede_chain2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025code-generator, community-detection, concert-hall-cap, generalized-peacable-queens, mondoku, test-scheduling, yumi-dynamic, yumi-static