Problem submissions for the 2026 MiniZinc Challenge are currently open! See the call for problems for more information.

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