My MiniZinc page

MiniZinc constraint programming system

• Main page
• Download page
• Example are here, and a directory list here. In the distribution there a lot of more examples and benchmarks. Also see MiniZinc Library.
• Specification of Zinc and MiniZinc.
• MiniZinc is a part of the ambitious G12 project. See the G12 project page for more info.

• flatzinc: the solver distributed with the MiniZinc system.
• Gecode/FlatZinc. Requires that Gecode is installed.
• The ECLiPSe Constraint Programming System
  library(minizinc) (and library(flatzinc) provides 3 different solvers which corresponds to ECLiPSe's "normal" solvers:
  * fzn_ic, see library(ic)
  * fzn_fd, see library(fd)
  * fzn_eplex, see library(eplex), which in turn can use different solvers, e.g. the commercial Cplex, XPress-MP, or the open source COIN solvers symclp, clpcbc.
  
• SICStus Prolog (from version 4.0.5 and onward): Zinc interface - library(zinc)
• fzntini. A SAT solver based on Tinisat.

My MiniZinc models

Contents

• Puzzles, small, and large
• Operations research, linear programming, integer programming
• Non linear problems
• Combinatorial problems
• Global constraints (decompositions)
• Martin Chlond's Integer Programming Puzzles
• Models based on Martin Chlond's Puzzle articles in Informs Transations on Education
• Other models

• 3_jugs.mzn: 3 jugs problem (as shortest path problem)
• 3_jugs2.mzn: 3 jugs problem (using shortest_path_model.mzn)
• a_round_of_golf.mzn: A round of golf puzzle (Dell Logic Puzzles)
• added_corner.mzn: Added corner puzzle
• arch_friends.mzn: Arch friends puzzle (Dell Logic Puzzles)
• atom_smasher.mzn: Digital Atom Smasher. alphametic problem: sqrt(ATOM) = A + TO + M
• averbach_1.2.mzn: Example 1.2 i Averbach & Chein "Problem Solving Through Recreational Mathematics"
• averbach_1.3.mzn: Example 1.3 i Averbach & Chein "Problem Solving Through Recreational Mathematics"
• averbach_1.4.mzn: Example 1.4 i Averbach & Chein "Problem Solving Through Recreational Mathematics"
• averbach_1.5.mzn: Example 1.5 i Averbach & Chein "Problem Solving Through Recreational Mathematics"
• babysitting.mzn: Babysitting puzzle (Dell Logic Puzzles)
• bank_card.mzn: Bank card puzzle
• breaking_news.mzn: Breaking news puzzle (Dell Logic Puzzles)
• bus.mzn: Bus puzzle (from rec.puzzles FAQ)
• calculs_d_enfer.mzn: Calculs d'enfer puzzle (from the NCL manual)
• clock_triplets.mzn: Clock Triplets
• coins_grid.mzn: Coins Grid (Tony Hurlimann)
• coins3.mzn: Minimum mumber of coins that allows one to pay exactly any amount smaller than one Euro
• coins_problem.mzn: Minimum mumber of coins that allows one to pay exactly any amount smaller than one Euro (alternative solution based on OPL code)
• coins_41_58.mzn: Minimize number of coins - with the same amount of the different denominations - that sums to 41.58 GBP
• col_sum_puzzle.mzn: Find out values in a matrix, given column and row sums and some hints.
• consecutive_digits.mzn: Consecutive digits (Martin Gardner)
• cube_sum.mzn: Sum a number with the minimum number of different cubes
• crossfigure.mzn: Crossfigure problem (CSPLib problem 21)
• crossword.mzn: Crossword solving (standard constraint programming example)
• crypta.mzn: crypta, alphametic problem (standard Prolog benchmark)
• crypto.mzn: crypto, alphametic problem (standard Prolog benchmark), constraint programming model
• crypto_ip.mzn: crypto, alphametic problem (standard Prolog benchmark), integer programming model
• cur_num.mzn: Curious Number (Dudeney)
• curious_set_of_integers.mzn: Curious set of integers (Martin Gardner)
• defending_castle.mzn: Defending the Castle (Cut the knot)
• devils_word.mzn: Devil's Word problem (see the Devil's word page)
• digital_roots.mzn: Digital roots
• digits_of_the_square.mzn: Digits of the square problem
• dimes.mzn: Dimes puzzle (rec.puzzles FAQ)
• dinner.mzn: A dinner problem
• dividing_the_spoils.mzn: Dividing the spoils (Sam Loyd)
• divisible_by_7.mzn: Divisible by 7 (Sam Loyd)
• donald.mzn: Alphametic puzzle: DONALD + GERALD = ROBERT
• drinking_game.mzn: Drinking game (Marriott & Stuckey)
• eliza_pseudonym7.mzn: Eliza Pseudonym of Puzzlania 7
• ein_ein_ein_ein_vier.mzn: EIN+EIN+EIN+EIN=VIER (Martin Gardner)
• einstein_hurlimann.mzn: Einstein puzzle (variant of Zebra puzzle)
• enigma_1000.mzn: Enigma ENIGMA / M = TIMES puzzle (#1000)
• enigma_1001.mzn: Enigma What the hex? puzzle (#1001)
• enigma_1293.mzn: Enigma Reverse Fahrenheitpuzzle (#1293)
• enigma_birthday_magic.mzn: Enigma birthday puzzle (#1448)
• enigma_circular_chain.mzn: Enigma circular chain puzzle (#985)
• enigma_eight_times.mzn: Enigma Eight times puzzle (#1317)
• enigma_eight_times2.mzn: Enigma Eight times puzzle (#1317), alternative model
• enigma_eighteen.mzn: Enigma Eighteen puzzle (#1496)
• enigma_five_fives.mzn: Enigma Five fives puzzle (#1358)
• enigma_planets.mzn: Enigma planets puzzle (#1396)
• enigma_portuguese_squares.mzn: Enigma portuguese squares puzzle (#1476)
• ett_ett_ett_ett_ett__fem.mzn: Alphametic puzzle ETT + ETT + ETT + ETT + ETT = FEM
• family_riddle.mzn: Family riddle
• fancy.mzn: Mr Greenguest puzzle (Fancy dress puzzle)
• farm_puzzle0.mzn: Farm puzzle, simple model
• farm_puzzle.mzn: Farm puzzle, more general model
• five_brigades.mzn: Five brigades (Dudeney)
• four_islands.mzn: Four islands puzzle (Dell Logic Puzzles)
• fractions.mzn: Fractions, alphametic problem (standard Prolog benchmark)
• franklin_8x8_magic_square.mzn: Benjamin Franklin's 8x8 Magic Square
• futoshiki.mzn: Futoshiki puzzle
• gardner_dinner.mzn: Dinner problem (Martin Gardner)
• gardner_prime_puzzle.mzn: Martin Gardner's prime puzzle
• grocery2.mzn: Grocery problem, alternative version
• hardy_1729.mzn: Hardy's 1729 problem
• hidato.mzn: Hidato puzzle
• huey_dewey_louie.mzn: Huey, Dewey, Louie, logical problem from Marriott & Stuckey "Programming in Constraints"
• heterosquare.mzn: Heterosquare problem
• hundred_doors_unoptimized.mzn: 100 doors problem, unoptimized (array version) (Rosetta code)
• hundred_doors_unoptimized2.mzn: 100 doors problem, unoptimized (array version, alternative model) (Rosetta code)
• hundred_doors_optimized.mzn: 100 doors problem, optimized (set version) (Rosetta code)
• hundred_doors_optimized_array.mzn: 100 doors problem, optimized (array version) (Rosetta code)
• hundred_fowls.mzn: Hundred Fowls puzzle
• high_iq_problem.mzn: "High IQ problem"
• jobs_puzzle.mzn: Jobs puzzle (an automated reasoning problem)
• just_forgotten.mzn: Just forgotten puzzle (Enigma 1517)
• knight_path.mzn: Knight path
• least_diff.mzn: Least diff problem: What is the smallest difference between two numbers X - Y if you must use all the digits (0..9) exactly once?
• lecture_series.mzn: Lecture series puzzle (Dell Logic Puzzles)
• locker.mzn: Locker puzzle.
• logic_puzzle_aop.mzn: Logic puzzle (from The Art of Prolog)
• M12.mzn: Solving the M12 puzzle
• magic.mzn: Magic square, integer programming (GLPK)
• magic3.mzn: Magic sequence, 3 x 3 (this formulations is from a standard Prolog benchark)
• magic4.mzn: Magic sequence, 4 x 4 (this formulations is from a standard Prolog benchark)
• magic_hexagon.mzn: Magic hexagon (CSPLib, problem 23)
• magic_sequence.mzn: Magic sequence (CSPLib)
• magic_sequence2.mzn: Magic sequence (CSPLib), alternative model
• magic_sequence3.mzn: Magic sequence (CSPLib), alternative model
• magic_sequence4.mzn: Magic sequence (CSPLib), alternative model
• magic_squares_and_cards.mzn: Magic squares and cards (Martin Gardner)
• marathon.mzn: Marathon puzzle (XPress example)
• message_sending.mzn: Message sending puzzle (cf all_paths_graph.mzn)
• minesweeper.mzn: Minesweeper puzzle
• minesweeper_model.mzn: Minesweeper puzzle, general model
to be used with the following problems:
• minesweeper_0.mzn
• minesweeper_1.mzn
• minesweeper_2.mzn
• minesweeper_3.mzn
• minesweeper_4.mzn
• minesweeper_5.mzn
• minesweeper_6.mzn
• minesweeper_7.mzn
• minesweeper_8.mzn
• minesweeper_9.mzn
• minesweeper_basic3.mzn
• minesweeper_basic4.mzn
• minesweeper_basic4x4.mzn
• minesweeper_config_page2.mzn
• minesweeper_config_page3.mzn
• minesweeper_german_Lakshtanov.mzn
• minesweeper_model.mzn
• minesweeper_splitter.mzn
• minesweeper_wire.mzn
• missing_digit.mzn: Missing digit probblem
• money_change.mzn: Simple money change problem
• monkey_coconuts.mzn: The Monkey and Coconuts problem
• monks_and_doors.mzn: Eight monks and four doors
• multipl.mzn: Unknown multiplication (standard Prolog benchmark)
• murder.mzn: Murder puzzle
• music_men.mzn: Music men puzzle
• n_puzzle.mzn: N-puzzle, e.g. 8-puzzle, 15-puzzle
• narcissistic_numbers.mzn: Narcissistic numbers
• number_puzzle.mzn: A number puzzle (of some kind)
• number_of_regions.mzn: Number of regions (Vaderlind, Guy, Larson: "The Inquisitive Problem Solver", problem 21)
• nine_digit_arrangement.mzn: Nine digit arrangement (Martin Gardner)
• nine_to_one_equals_100.mzn: Nine to one equals 100 (Martin Gardner)
• nonogram.mzn: Nonogram, a.k.a. Painting by numbers
• number_generation.mzn: Number generation (cf Devil's word)
• OandX.mzn: Three Dimensional Nought and Crosses (Tic-Tac-Toe) (Williams)
• olympic.mzn: Olympic problem (standard Prolog benchmark)
• pandigital_numbers.mzn: Pandigital numbers (any base <= 10)
• peacableArmyOfQueens.mzn: Peacable Army of Queens
• photo_hkj.mzn: Photo problem
• photo_hkj2_model.mzn: Photo problem model
• photo_hkj2_data1.mzn: Data for photo problem
• photo_hkj2_data2.mzn: Data for photo problem
• place_number.mzn: The Eight Number Puzzle
• pool_ball_triangles.mzn: Pool-ball triangles (Martin Gardner)
• puzzle1.mzn: Yet another column/row sum problem
• pyramid_of_numbers.mzn: Pyramid of numbers (Rosetta code)
• queens_ip.mzn: n-queens problem, integer programing model (GLPK)
• raven_puzzle.mzn: "Polyglot puzzle" (from Raven, swedish)
• relative_sizes.mzn: Relative sizes puzzle (Enigma 1515)
• remarkable_sequence.mzn: Remarkable sequence (from an Alma-0 model)
• rook_path.mzn: Rook path (on a square matrix)
• rookwise_chain.mzn: Rookwise Chain (Martin Gardner)
• safe_cracking.mzn: Safe cracking
• self_referential_quiz.mzn: Self-referential quiz
• send_more_money.mzn: Alphametic puzzle: SEND + MORE = MONEY
• send_more_money2.mzn: Alphametic puzzle: SEND + MORE = MONEY, alternative model
• send_more_money_any_base.mzn: Alphametic puzzle: SEND + MORE = MONEY, in any base
• send_more_money_ip.mzn: Alphametic puzzle: SEND + MORE = MONEY, integer programming model (GLPK)
• send_most_money.mzn: Alphametic puzzle: SEND + MOST = MONEY (maximize MONEY)
• sequence_2_3.mzn: Simple permutation puzzle
• seseman.mzn: Seseman Convent problem (see Seseman Convent problem)
• seseman2.mzn: Seseman Convent problem, generalized model
• skyscraper.mzn: Skyscraper puzzle
• spy_girls.mzn: Spy girls problem
• set_puzzle.mzn: Solving SET Puzzles
• smullyan_knights_knaves.mzn: Raymond Smullyan's Knights and Knaves problems
• smullyan_knights_knaves_normals.mzn: Raymond Smullyan's Knights, Knaves, and Normals problems
• smullyan_knights_knaves_normals_bahava.mzn: Raymond Smullyan's Knights, Knaves, and Normals at the Island of Bahava problems
• smullyan_lion_and_unicorn.mzn: Raymond Smullyan's Lion and Unicorn problems
• smullyan_portia.mzn: Raymond Smullyan's Portia problems
• solitaire_battleship.mzn: Solitaire Battleship
• square_root_of_wonderful.mzn: Square Root of Wonderful (Martin Gardner)
• sudoku_gcc.mzn: Sudoku, using the global cardinality constraint
• sudoku_ip.mzn: Sudoku, integer programming (GLPK)
• sudoku_25x25_250.mzn: Sudoku 25 x 25 problen (very hardcoded, from a Prolog benchmark)
• subsets_100.mzn: Subsets 100 (rec.puzzles FAQ)
• sum_to_100.mzn: Five numbers should sum to 100, and all numbers must be divisible by 2 or 5
• survo_puzzle.mzn: Survo puzzle
• talisman_square.mzn: Talisman Square
• tickTackToe.mzn: Tick Tack Toe (Tic Tac Toe)
• tomography.mzn: Discrete Tomography (one color model)
• tomography_n_colors.mzn: Discrete Tomography (n color model)
• three_digit.mzn: Three digit problem
• torn_number.mzn: Torn number puzzle (Dudeney)
• tunapalooza.mzn: Tunapalooza puzzle (Dell Logic Puzzles)
• two_cube_calendar.mzn: Two cube calendar (Martin Gardner)
• vingt_cinq_cinq_trente.mzn: VINGT+ CINQ + CINQ = TRENTE (Martin Gardner)
• war_or_peace.mzn: War or peace problem (Alma-0)
• water_buckets1.mzn: Water bucket problem (generalized)
• who_killed_agatha.mzn: Who killed agatha? (The Dreadsbury Mansion Murder Mystery, a automated reasoning problem)
• word_golf.mzn: Word golf (word chain)
• word_golf_n3.mzn: 3 letter words for Word golf
• word_square.mzn: Word square: square matrix cross words (fill the whole square with unique words). (Data files: word_len3.mzn, word_len4.mzn, word_len5.mzn)
• wwr.mzn: alphametic problem: WRONG + WRONG = RIGHT
• xkcd.mzn: xkcd's knapsack problem (see the xkcd strip for the problem)
• zebra_inverse.mzn: Zebra puzzle, using global constraint inverse instead of all_different
• zebra_ip.mzn: Zebra puzzle, integer programming model (GLPK)

• agprice.mzn: Agricultural pricing (Williams)
• assignment.mzn: Assignment problem (Winston)
• assignment2.mzn: Assignment problem (Winston's swimming team example)
• assignment2_2.mzn: Assignment problem (Winston's swimming team example, expanded)
• assignment3.mzn: Assigment problem (Winston, celebreties on an island)
• assignment4.mzn: Yet another assigment problem
• assignment5.mzn: Yet another assigment problem
• assignment6.mzn: Assigment problem (GLPK:s example assign.mod)
• assignment_model.mzn: Assigment problem (model)
• bus_scheduling.mzn: Bus scheduling (Taha)
• capital_budget2.mzn: Capital Budget (Winston)
• chessset.mzn: Chess set problem (XPress)
• coloring_ip.mzn: Map coloring, integer programming (inspired by the GLPK model color.mod)
• constraint.mzn: Optimizing a constraint (Williams)
• contractor_costs.mzn: Contractor costs (Sam Loyd)
• crew.mzn: Crew scheduling (Gecode)
• crossbar.mzn: Crossbar problem (Prolog benchmark problem)
• critical_path1.mzn: Critical Path (Winston)
• curve_fitting1.mzn: Curve fitting 1 (Williams)
• curve_fitting2.mzn: Curve fitting 2 (Williams)
• curve_fitting3.mzn: Curve fitting 3, least squares (Williams)
• cutting_stock_winston.mzn: Cutting stock problem (Winston)
• dea.mzn: Data Envelopment Analysis (DEA) model (GLPK example)
• decent.mzn: Decentralization (Williams)
• diet1.mzn: Diet problem (standard OR example)
• diet2.mzn: Diet problem, larger (GLPK example)
• fixed_charged_transportation_problem.mzn: Fixed charged transportation problem
• food.mzn: Food manufacture problem (GLPK, AMPL)
• food2.mzn: Food manufacture problem, with extra constraints (GLPK, AMPL)
• football.mzn: Buying soccer players (lp_solve mailing list)
• freight_transfer.mzn: Freight Transfer (John Hooker)
• furniture_moving.mzn: Optimizing furniture moving (Marriott and Stuckey)
• gap.mzn: Generalized Assignment Problem (GLPK, AMPL)
• giapetto.mzn: Simple optimization problem of maximizing profit
• hitchcock_transporation_problem.mzn: Hitchcock-Koopmans transportation problem
• ice_cream.mzn: Ice cream production given monthly demand.
• integer_programming1.mzn: Simple integer programming problem
• jssp.mzn: Job-Shop Scheduling Problem (GLPK)
• knapsack_investments.mzn: Knapsack (investment) problem (Lundgren, Rönnqvist, Värbrand: Optimerings lära)
• lager.mzn: Stock model (swedish)
• least_square_optimeringslara_286.mzn: Least sqauare (Lundgren, Rönnqvist, Värbrand: Optimeringslära)
• lightmeal.mzn: Lightmeal problem (Colmerauer)
• lightmeal2.mzn: Lightmeal problem (Colmerauer), integer programming version (and more general than lightmeal.mzn)
• markov_chains.mzn: Markov chain of market shares (from "Statistisk Dataanalys")
• markov_chains_taha.mzn: Markov chains (fertlizer example from Taha "Operations Research")
• max_cut.mzn: Maximum cut problem (GLPK)
• max_flow_taha.mzn: Maximum flow problem (Taha)
• max_flow_winston1.mznMaximum flow problem (Winston)
• maxflow.mzn: Maximum flow problem (GLPK)
• mfasp.mzn: Minimum Feedback Arc Set Problem (GLPK)
• mfvsp.mzn: Minimum Feedback Vertex Set Problem (GLPK)
• misp.mzn: Maximum Independent Set Problem (GLPK)
• mvcp.mzn: Minimum Vertex Cover Problem (GLPK)
• nadel.mzn: B.A. Nadel's construction problem
• organize_day.mzn: Scheduling, organizing a day (ECLiPSe)
• pert.mzn: PERT problem (van Hentenryck)
• plan.mzn: Planning model (GLPK)
• post_office_problem.mzn: Post office problem (Winston)
• post_office_problem2.mzn: Post office problem, generalized model (Winston)
• prod0.mzn: Optimization problem (AMPL)
• product_configuration.mzn: Product configuration (John Hooker)
• rostering.mzn: Rostering problem (Regin)
• schedule1.mzn: Scheduling using cumulative constraint (Sicstus)
• scheduling_bratko.mzn: Scheduling problem from Ivan Bratko "Prolog - programming for Artificial Intelligence", example 1
• scheduling_bratko2.mzn: Scheduling problem from Ivan Bratko "Prolog - programming for Artificial Intelligence", example 2
• scheduling_chip.mzn: Scheduling problem from Nicolas Beldiceanu & Evelyne Contejean "Introducing Global Constraints in CHIP", page 3
• scheduling_speakers.mzn: Scheduling speakers (Rina Dechter)
• ski_assignment_problem.mzn: Ski assignment problem
• social_golfers1.mzn: Social golfers (OPL)
• sportsScheduling.mzn: Sport scheduling
• spp.mzn: Shortest path problem, integer programming (GLPK)
• stable_marriage.mzn: Stable marriage
• stigler.mzn: Original Stigler's 1939 diet problem (GLPK)
• stuckey_assignment.mzn: Assignment problem (Marriott and Stuckey)
• stuckey_seesaw.mzn: Balancing on a seesaw (Marriot and Stuckey)
• talent.mzn: Talent example from ILOG OPL
• transp.mzn: Transportation problem (GLPK)
• transportation.mzn: Transportation problem (ECLiPSe)
• transportation2.mzn: Transportation problem, generalized model
• tsp.mzn: Travelling Salesman Problem, integer programming (GLPK)
• transshipment.mzn: Transshipment problem (Winston)

• circle_intersection.mzn: Circle intersection (ECLiPSe)
• circling_squares.mzn: Circling the Squares (Dudeney)
• cyclohexane.mzn: Cyclohexane problem (Dudeney)
• dynamical_optimization1.mzn: Dynamical optimization
• eq10.mzn: Problem with 10 equation (standard constraint programming problem)
• mortgage.mzn: Mortgage (standard constraint programming problem)
• rosenbrock.mzn: Rosenbrock function

• all_interval.mzn: All interval problem (series), (CSPLib problem 7)
• all_paths_graph.mzn: (All) paths from a graph presentation (cf message_sending.mzn)
• balanced_matrix.mzn: Balanced matrix
• bin_packing.mzn: Bin packing
• bin_packing2.mzn: Bin packing (different from the one above)
• bpp.mzn: Bin packing (GLPK example, but not using the "z heuristic")
• color_simple.mzn: Simple coloring of a map (Murty)
• decision_tree_binary.mzn: Binary decision tree
• debruijn_binary.mzn: de Bruijn sequence (graph)
• dominating_set.mzn: Dominating set problem
• fix_points.mzn: Number of fix points in an array
• graph_degree_sequence.mzn: Degree sequence for graphs, both matrix and edge representation
• gray_code.mzn: Gray code
• hamming_distance.mzn: Hamming distance
• K4P2GracefulGraph.mzn: K4P2 Graceful Graph
• K4P2GracefulGraph2.mzn: K4P2 Graceful Graph (more general model)
• knapsack.mzn: Knapsack
• knapsack2.mzn: Another knapsack
• knapsack_problem.mzn: Knapsack problem (Rosetta code)
• lams_problem.mzn: Lam's problem (CSPLib problem 25)
• langford2.mzn: Langford's number problem (CSPLib problem 24)
• latin_square.mzn: Latin squares
• lectures.mzn: Lectures, schedule problem from Biggs "Discrete Mathematics"
• lichtenstein_coloring.mzn: Coloring problem: Lichtenstein's communes and exclaves
• logical_design.mzn: Logical design (Williams)
• map.mzn: Simple coloring of a map
• map_stuckey.mzn: Another coloring of a map (Marriott and Stuckey)
• maximum_subarray.mzn: Maximum subarray (Rosetta code)
• modulo_partition.mzn: Function partitioning
• parallel_resistors.mzn: Parallel resistors problem problem from Marriott & Stuckey "Programming in Constraints"
• partial_latin_square.mzn: Partial Latin squares
• partitions.mzn: Integer partitions
• perfect_shuffle.mzn: Perfect shuffle
• pigeon_hole.mzn: Pigeon hole problem (CLP-FD)
• pigeon_hole2.mzn: Another pigeon hole problem
• power_set.mzn: Power set
• quasiGroup3Idempotent.mzn: Quasigroup existence problem 3(CSPLib)
• quasiGroup3NonIdempotent.mzn: Quasigroup existence problem 3 (CSPLib)
• quasiGroup4Idempotent.mzn: Quasigroup existence problem 4(CSPLib)
• quasiGroup4NonIdempotent.mzn: Quasigroup existence problem 4(CSPLib)
• quasiGroup5Idempotent.mzn: Quasigroup existence problem 5(CSPLib)
• quasiGroup5NonIdempotent.mzn: Quasigroup existence problem 5(CSPLib)
• quasiGroup6.mzn: Quasigroup existence problem 6 (CSPLib)
• quasiGroup7.mzn: Quasigroup existence problem 7 (CSPLib)
• quasigroup_completion.mzn: Quasigroup completion problem
• quasigroup_completion_model.mzn: Quasigroup completion problem, model used by the following instances:
  • quasigroup_completion_gomes_shmoys_p3.mzn
    
  • quasigroup_completion_gomes_shmoys_p7.mzn
  • quasigroup_completion_martin_lynce.mzn
  • quasigroup_completion_gcc.mzn
  • quasigroup_completion_gomes_demo1.mzn
  • quasigroup_completion_gomes_demo2.mzn
  • quasigroup_completion_gomes_demo3.mzn
  • quasigroup_completion_gomes_demo4.mzn
  • quasigroup_completion_gomes_demo5.mzn
• ramsey_partition.mzn: Ramsey partition problem
• runs.mzn: Number of runs in an array (sequence)
• sat.mzn: Satisfiability Problem, integer programming (GLPK)
• satisfy.mzn: Satisfiability Problem (Alma-0)
• set_covering.mzn: Set covering, placing of firestations (Winston)
• set_covering2.mzn: Set covering, number of security telephons on a campus (Taha)
• set_covering3_model.mzn: Set covering model
• set_covering3.mzn: Set covering, senators making a committe (Murty)
• set_covering4.mzn: Set covering problem (Lundgren, Rönnqvist, Värbrand "Optimeringslära")
• set_covering4b.mzn: Set covering problem, generalized version of set_covering4.mzn
• set_covering5.mzn: Set covering, work scheduling (Lundgren, Rönnqvist, Värbrand "Optimeringslära")
• set_covering_deployment.mzn: Set covering deployment
• set_covering_skiena.mzn: Set covering (Skiena)
• set_packing.mzn: Set packing
• set_partition.mzn: Set partitioning
• shortest_path1.mzn: Shortest path problem, selling/buying a car (Winston)
• shortest_path2.mzn: Shortest path problem (Winston)
• shortest_path_model.mzn: Model for shortest path
• sonet_problem.mzn: SONET problem
• traffic_lights.mzn: Traffic lights problem (CSPLib problem 16)
• subset_sum.mzn: Subset sum (Murty)
• temporal_reasoning.mzn: Temporal reasoning (Apt)
• transpose.mzn: (Square) matrix operations, transpose, scalar addition, scalar multiplication
• tsp_circuit.mzn: Travelling salesperson problem, using circuit predicate
• voltage_divider.mzn: Voltage divider problem problem from Marriott & Stuckey "Programming in Constraints"
• young_tableaux.mzn Young tableaux

• all_differ_from_at_least_k_pos.mzn: all_differ_from_at_least_k_pos, all rows in a matrix has values that differs in at least k positions
• all_equal.mzn: all_equal
• all_min_dist.mzn: all_min_dist, all values must have a minimum distance to each other
• alldifferent_cst.mzn: alldifferent_cst, and alldifferent_cst using multiplication instead of addition
• alldifferent_except_0.mzn: alldifferent except 0
• alldifferent_interval.mzn: alldifferent_modulo, all values modulo k shall be different
• alldifferent_modulo.mzn: alldifferent_modulo, all values modulo k shall be different
• alldifferent_on_intersection.mzn: alldifferent_on_intersection
• alldifferent_partition.mzn: alldifferent_partition
• alldifferent_same_value.mzn: alldifferent_same_value
• alldifferent_soft.mzn: alldifferent_soft (alldifferent_soft_ctr and alldifferent_soft_var)
• allperm.mzn: allperm, ensures that the first rows in a matrix is lexically less than all permutation of all other rows
• all_min_dist.mzn: all_min_dist, all pairs in an array have a distance of at least c
• among_diff_0.mzn: among_diff_0, number of values different from 0
• among_interval.mzn: among_interval, number of values in a certain interval
• among_low_up.mzn: among_low_up, the number values in an array matched another array shoule be constrained to low and up
• among_modulo.mzn: among_modulo, the number values in an array where a value modulo quotient = remainder
• among_seq.mzn: among_seq
• and.mzn: and, generalized and (array)
• arith.mzn: arith, enforces that all values in an array is RELOP (equal, not equal, less than, etc) some VALUE
• arith_or.mzn: arith_or
• arith_sliding.mzn: arith_sliding, all sliding sums from 1..j must satisfy RELOP VALUE
• assign_and_counts.mzn: assign_and_counts
• atleast_nvalue.mzn: atleast_nvalue, at least NVAL values are different in an array
• atmost1.mzn: atmost1
• atmost_nvalue.mzn: atmost_nvalue, at most NVAL values are different in an array
• balance.mzn: balance, difference between the least and largest number of occurrences in an array
• between_min_max.mzn: between_min_max, a specific number is between the minimum and maximum value of an array
• bipartite.mzn: Bipartite graph
• cardinality_atleast: cardinality_atleast
• cardinality_atmost: cardinality_atmost
• cardinality_atmost_partition: cardinality_atmost_partition
• change.mzn: circular change, number of changes in an array
• change_pair.mzn: change_pair
• change_partition.mzn: change_partition
• circular_change.mzn: circular change, number of changes in an array (as change but with wrapping around the corner)
• circuit.mzn: circuit
• clique.mzn: clique
• common.mzn: common, also used_by
• cond_lex_cost.mzn: cond_lex_cost
• cond_lex_less.mzn: cond_lex_less, cond_lex_lesseq, cond_lex_greater, cond_lex_greatereq
• contains_array.mzn: contains ("in" for arrays)
• count_ctr.mzn: count, more general than count in MiniZinc's globals.mzn
• counts.mzn: counts
• correspondence.mzn: correspondence
• cumulative_test.mzn: Test of cumulative (defined in globals.mzn)
• cumulative_test_mats_carsson.mzn: Another test of cumulative (small example from one of Mats Carlsson's lecture)
• cycle.mzn: cycle
• decreasing.mzn: decreasing
• derangement.mzn: derangement
• diffn.mzn: diffn, (with three different representations of the orthotopes)
• discrepancy.mzn: discrepancy
• discjuntive.mzn: disjunctive
• distance_between.mzn: distance between
• domain.mzn: domain
• domain_constraint.mzn: domain_constraint
• global_contiguity.mzn: global contiguity
• imply.mzn: imply
• inflexions.mzn: inflexions, number of peaks in a sequence
• in_interval.mzn: in_interval
• in_relation.mzn: in_relation
• in_same_partition.mzn: in_same_partition
• in_set.mzn: in_set (cf the built in "in")
• indexed_sum.mzn: indexed_sum
• int_value_precede.mzn: int_value_precede
• inverse_within_range.mzn: inverse within range
• ith_pos_different_from_0.mzn: ith pos different from 0
• k_alldifferent.mzn: k alldifferent (all rows satisfy the alldifferent constraint)
• k_same.mzn: k_same
• k_same_modulo.mzn: k_same_modulo
• lex2.mzn: lex2
• lex_alldifferent.mzn: lex_alldifferent
• lex_between.mzn: lex_between
• lex_chain_less.mzn: lex_chain_less
• lex_different.mzn: lex_different
• lex_greater.mzn: lex_greater
• longest_change.mzn: longest change, size of the longest sub sequence which satisfy a comparison operator (such as !=, <, > etc)
• max_index.mzn: max_index, (also the extension max_index_val)
• min_index.mzn: min_index, (also the extension min_index_val)
• nchange.mzn: nchange, (also a generalized version nchange_cmp with choice of operators)
• nclass.mzn: nclass
• n_partitioning.mzn: n_partitioning
• n_change.mzn: n_change
• my_nvalue.mzn: nvalue, also: atleast_nvalue and atmost_nvalue
• nvalues.mzn: nvalues
• open_alldifferent.mzn: open_alldifferent
• path_from_to.mzn: path_from_to, find a path from FROM to TO in a graph (incidence matrix)
• period.mzn: period (a sequence must have a period of a specific length)
• my_precedence.mzn: precedence (the first time we use j is before the first time we use k, for j < k)
• roots_test.mzn: Test of roots (defined in globals.mzn)
• same.mzn: same
• same_interval.mzn: same_interval
• same_modulo.mzn: same_modulo
• shift.mzn: shift
• sliding_sum.mzn: sliding_sum
• sliding_time_window.mzn: sliding_time_window
• sliding_time_window_from_start.mzn: sliding_time_window_from_start
• smooth.mzn: smooth
• soft_all_equal_ctr.mzn: soft_all_equal_ctr
• soft_same_var.mzn: soft_same_var
• sort_permutation.mzn: sort_permutation
• stretch_circuit.mzn: stretch_circuit
• stretch_path.mzn: stretch_path
• strictly_decreasing.mzn: strictly_decreasing. Also strictly_increasing and decreasing
• subsequence.mzn: subsequence
• subsequence_sum.mzn: subsequence sum
• sum_ctr.mzn: sum ctr
• sum_free.mzn: sum free, also: product_free
• sum_set.mzn: sum set
• symmetric.mzn: symmetric
• symmetric_alldifferent.mzn: symmetric_alldifferent
• weighted_sum.mzn: weighted_sum (not in the catalogue)

• Alien tiles (from An Alien IP)
• Elevator puzzle model (from A Tokyo Elevator Puzzle)
• Elevator 6 3 puzzle (from A Tokyo Elevator Puzzle)
• Elevator 8 4 puzzle (from A Tokyo Elevator Puzzle)
• Fairies problem (from Puzzle—O.R. with the Fairies)
• Gunport problem 1 (from The Gunport Problem)
• Gunport problem 2 (from The Gunport Problem)
• Nimatron problem (from A Nimatron)
• Sangraal (from Fantasy OR)
• Tank Attack Puzzle (from A Tank Attack Puzzle)
• Touching numbers puzzle (from The Traveling Space Telescope Problem)
• Tripuzzle 1 (from Tri-Puzzle: A Three-Cornered Conundrum)
• Tripuzzle 2 (from Tri-Puzzle: A Three-Cornered Conundrum)

• 99_bottles_of_beer.mzn: 99 bottles of beer (Rosetta code)
• antisymmetric.mzn: Antisymmetric relation (matrix)
• binary_matrix2array.mzn: Converts a binary matrix to/from the corresponding array
• birthday_paradox.mzn: Birthday paradox (birthday problem)
• catalan_numbers.mzn: Catalan numbers
• celsius_fahrenheit.mzn: Conversion from/to degree Celsius to/from degree Fahrenheit
• collatz.mzn: Collatz problem
• factorial.mzn: Factorial (alternative version not using the prod predicate)
• family.mzn: Family database
• fib_test2.mzn: Fibonacci sequence, as an array since MiniZinc don't handle recursion
• fizz_buzz.mzn: Fizz buzz problem
• four_power.mzn: Simple math problem
• full_adder.mzn: Full adder (digital circuit)
• isbn.mzn: Some explorations in ISBN-13
• life.mzn: The Game of Life
• matrix2num.mzn: Converts a binary matrix to/frm a list of integers.
• penguin.mzn: Nonmonotonic reasoning: can Tweety - a penguin - fly? (Alma-0)
• power.mzn: my_pow(var int, int) which is not builtin in MiniZinc
• prime.mzn: Some number theory
• product_test.mzn: simply defined the predicate product() since as of MiniZinc version <= 0.8.1 the predicate prod() is yet implemented
• pythagoras.mzn: Pythagoras number
• rot13.mzn: Rot 13 (Caesar) cipher
• sieve.mzn: Another number theory stuff
• spreadsheet.mzn: Simple spreadsheet problem
• sum_sets.mzn: sum the integers in a set
• symmetry_breaking.mzn: Example of symmetry breaking for a math problem