Problems

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

Problem Model Type Kind RC SBC Years MiniZinc Globals
amaze amaze puzzle min 2012 count
amaze amaze2 puzzle sat 2012
amaze amaze3 puzzle min 2013 count
bacp real min 2010, 2011
black-hole combi sat 2009, 2011, 2013 inverse, table
cargo real min 2013 cumulative, diffn
carpet-cutting real min X 2011, 2012 cumulative, diffn
celar combi min 2013
costas_array combi sat X X 2010, 2011, 2015 alldifferent
cvrp cvrp real min X 2015 circuit
cyclic-rcpsp combi sat 2011, 2014 cumulative
debruijn_binary combi sat 2008 alldifferent, global_cardinality
depot_placement combi min X 2010, 2011 alldifferent
elitserien combi min 2014 alldifferent, global_cardinality_closed, inverse, member, regular
fast-food combi min 2011, 2012
fillomino puzzle sat 2009, 2011, 2014
filters combi min 2010, 2012, 2013 diffn, maximum
fjsp combi min 2013 cumulative
freepizza freepizza real min 2015
gfd-schedule gfd-schedule combi min X 2015 nvalue, at_most
ghoulomb combi min 2010, 2013 cumulative
grid-colouring combi min 2010, 2011, 2015
is model real min X 2015 circuit, table
java-routing real min 2013 alldifferent, element
jp-encoding real min 2014 count
l2p combi min 2013 alldifferent
largescheduling largecumulative combi min X 2015 cumulative
league 2012 real min 2012 count
league 2013 real min 2013 count
liner-sf-repositioning real min 2014 alldifferent, alldifferent_except_0
mapping mapping real min 2015 bin_packing_load, count, maximum, network_flow_cost
mario puzzle min 2013, 2014 subcircuit
mqueens puzzle min 2014 lex_lesseq
mspsp real min 2012 cumulative
multi-knapsack combi sat 2014
multi-knapsack mknapsack_global combi max 2015 knapsack
nmseq combi sat 2008, 2013, 2015
nonogram puzzle sat 2009, 2011, 2012, 2013 regular
opd opd combi min X 2015 lex_greatereq
on-call-rostering combi min 2013 count
open_stacks combi min 2009, 2011, 2015 alldifferent
openshop combi min 2014 cumulative
p1f combi min X 2009, 2015 alldifferent, inverse, lex_less
parity-learning combi min 2012
pattern-set-mining combi max 2011, 2012, 2013 lex_less
pentominoes puzzle sat 2008, 2011, 2013 regular
prize-collecting puzzle max 2011
project-planning real min 2012, 2015
prop_stress combi sat 2009
proteindesign12 real min 2013 table
quasigroup7 combi sat 2008 alldifferent
radiation real min 2008, 2012, 2013, 2015
rcpsp combi min 2008, 2013 cumulative
rcpsp_max combi min 2010 cumulative
rectangle-packing 2009 combi sat 2009 cumulative
rectangle-packing 2014 combi sat 2014 cumulative, diffn
road_construction combi min 2014
roster combi min 2009, 2011, 2015 at_least, at_most, exactly
rubik puzzle sat 2013
search_stress combi sat 2008
search_stress2 combi sat 2009
ship-schedule real max 2011, 2012, 2014
shortest_path combi min 2008
slow_convergence combi sat 2008
smelt puzzle min 2014 cumulative
solbat combi sat 2010, 2011, 2012, 2014
spot5 real min 2014, 2015 table
still_life puzzle max 2009
still-life-wastage puzzle max 2012
stochastic-fjsp combi min 2014
stochastic-vrp combi min 2014 circuit
sugiyama puzzle sat 2010
trucking combi min 2008
table-layout real min 2011
tdtsp tdtsp real min X 2015 inverse
tpp combi min 2012 subcircuit
train real min 2012, 2014
traveling-tppv combi min 2014 alldifferent, regular
triangular triangular puzzle max 2015 inverse
vrp real min 2009, 2011, 2012, 2013
wwtp_random real sat 2010
wwtp_real real sat 2010, 2011
zyphyrus real min 2015

MiniZinc Globals

This table contains all global constraints used for the MiniZinc Challenge 2008-2015.

MiniZinc Global Years Problems
alldifferent 2008, 2009, 2010, 2011, 2013, 2014, 2015 costas_array, debruijn_binary, depot_placement, elitserien, java-routing, l2p, liner-sf-repositioning, open_stacks, p1f, quasigroup7, sugiyama, traveling-tppv
alldifferent_except_0 2014 liner-sf-repositioning
at_least 2009, 2011, 2015 roster
at_most 2009, 2011, 2015 roster, gfd-schedule
bin_packing_load 2015 mapping
count 2012, 2013, 2014, 2015 amaze (amaze, amaze3), jp-encoding, league (2012, 2013), mapping, on-call-rostering
cumulative 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 cargo, carpet-cutting, cyclic_rcpsp, fjsp, ghoulomb, largescheduling, mspsp, openshop, rcpsp, rcpsp_max, rectangle-packing (2009, 2014), smelt
circuit 2014, 2015 cvrp, is, stochastic-vrp
diffn 2010, 2011, 2012, 2013, 2014 cargo, carpet-cutting, filters, rectangle-packing (2014)
element 2013 java-routing
exactly 2009, 2011, 2015 roster
global_cardinality 2008 debruijn_binary
global_cardinality_closed 2014 elitserien
inverse 2009, 2011, 2013, 2014, 2015 black-hole, elitserien, p1f, tdtsp
knapsack 2015 multi-knapsack
lex_greatereq 2015 opd
lex_less 2009, 2011, 2012, 2013, 2015 p1f, pattern-set-mining
lex_lesseq 2014 mqueens
maximum 2010, 2012, 2013, 2015 filters, mapping
member 2014 elitserien
network_flow_cost 2015 mapping
nvalue 2015 gfd-schedule
regular 2008, 2009, 2011, 2012, 2013, 2014 elitserien, nonogram, pentominoes, traveling-tppv
subcircuit 2012, 2013, 2014 mario, tpp
table 2009, 2011, 2013, 2014, 2015 black-hole, is, proteindesign12, spot5