|
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
|
|