24 new ECLiPSe models
Here are 24 new ECLiPSe models, converted from my Comet or MiniZinc models. As always, the models contains more information about the problem. As of writing, My ECLiPSe page contains about 110 models.
3_jugs.ecl: 3 jugs problem, MIP model, eplex
a_round_of_golf_propia.ecl: A round of golf puzzle (Dell Logic Puzzles), Propia version
blending.ecl: Blending problem (OPL example)
crypta.ecl: crypta, alphametic problem (standard Prolog/CLP benchmark)
crypto.ecl: crypto, alphametic problem (standard Prolog/CLP benchmark)
distribute.ecl: (Decomposition of) global constraint distribute.
donald_gerald.ecl: Alphametic puzzle DONALD + GERALD = ROBERT
four_islands.ecl: Four islands puzzle (Dell Logic Puzzles)
langford.ecl: Langford's number problem (CSPLib problem 24)
langford_propia.ecl: Langford's number problem (CSPLib problem 24), Propia version
pigeon_hole.ecl: Pigeon hole problem
place_number_puzzle.ecl: Place number puzzle
rabbits.ecl: Rabbits problem (Van Hentenryck, OPL book)
spreadsheet.ecl: Simple "spreadsheet" example (Apt)
square_root_of_wonderful.ecl: Square Root of Wonderful (Martin Gardner)
stable_marriage.ecl: Stable marriage problem (examples from Van Hentenryck's OPL book, and MathWorld)
subset_sum.ecl: Subset sum problem (Murty)
talisman_square.ecl: Talisman square
traffic_lights.ecl: Traffic lights problem (CSPLib problem 16)
tunapalooza.ecl: Tunapalooza puzzle (Dell Logic Puzzles)
volsay1.ecl: Volsay production problem (Van Hentenryck, The OPL Book), eplex model
volsay2.ecl: Volsay production problem (Van Hentenryck, The OPL Book), eplex model, slightly different from volsay1.ecl
volsay3.ecl: Volsay production problem (Van Hentenryck, The OPL Book), eplex model, more general than volsay1.ecl and volsay2.ecl
warehouse.ecl: Warehouse location problem (OPL example)