MiniZinc

File	Problem	Notes
car.mzn	001: Car Sequencing
quasiGroup4NonIdempotent.mzn	003: Quasigroup Existence
quasiGroup5Idempotent.mzn	003: Quasigroup Existence
quasiGroup3Idempotent.mzn	003: Quasigroup Existence
quasiGroup5NonIdempotent.mzn	003: Quasigroup Existence
quasiGroup3NonIdempotent.mzn	003: Quasigroup Existence
quasiGroup4Idempotent.mzn	003: Quasigroup Existence
quasiGroup7.mzn	003: Quasigroup Existence
all_interval6.mzn	007: All-Interval Series
all_interval1.mzn	007: All-Interval Series
all_interval.mzn	007: All-Interval Series
all_interval4.mzn	007: All-Interval Series
all_interval2.mzn	007: All-Interval Series
all_interval5.mzn	007: All-Interval Series
all_interval3.mzn	007: All-Interval Series
social_golfers1.mzn	010: Social Golfer Problem
nonogram_create_automaton2.mzn	012: Nonogram
traffic_lights_table.mzn	016: Traffic Lights
traffic_lights.mzn	016: Traffic Lights
water_buckets1.mzn	018: Water Bucket Problem
magic_sequence.mzn	019: Magic Squares and Sequences
magic_square.mzn	019: Magic Squares and Sequences
magic_sequence2.mzn	019: Magic Squares and Sequences
magic.mzn	019: Magic Squares and Sequences
magic_sequence3.mzn	019: Magic Squares and Sequences
magic_sequence4.mzn	019: Magic Squares and Sequences
crossfigure.mzn	021: Crossfigures
bus_scheduling_csplib.mzn	022: Bus Driver Scheduling
magic_hexagon.mzn	023: Magic Hexagon
langford2.mzn	024: Langford's number problem
maximum_density_still_life.mzn	032: Maximum density still life
rehearsal.mzn	039: The Rehearsal Problem
fractions.mzn	041: The n-Fractions Puzzle
steiner.mzn	044: Steiner triple systems
set_partition.mzn	049: Number Partitioning
queens5.mzn	054: N-Queens
queens3.mzn	054: N-Queens
sonet_problem.mzn	056: Synchronous Optical Networking (SONET) Problem
killer_sudoku2.mzn	057: Killer Sudoku
killer_sudoku.mzn	057: Killer Sudoku