Comet: About 15 new Comet models
The latter part of the last week was dominated by the optimization of the Nonogram solver, which I wrote about in Comet: Nonogram improved: solving problem P200 from 1:30 minutes to about 1 second. I would like to thank Pascal Van Hentenryck, Mikael Zayenz Lagerkvist, and Christian Schulte for help, comments, and inspiration.
Here are the other Comet models written the last week.
Puzzles, recreation mathematics, etc
- added_corner.co: Added corner puzzle
- a_round_of_golf.co: A Round of Golf puzzle (Dell Logic Puzzles)
- pair_divides_the_sum.co: Pairs divides the sum puzzle (from comp.lang.prolog 2009-02-28)
- pentominoes_model.co: Pentominoes (model, inspired by the MiniZinc benchmark model)
These problem are from the MiniZinc benchmarks:- pentominoes_1.co: problem 1
- pentominoes_2.co: problem 2 (Note: Comet version 1.1-rev2 has problem reading this problem file. There will be a fix for this in an upcoming version.)
- pentominoes_3.co: problem 3
Pascal Van Hentenryck's OPL book
These models are translations from Pascal Van Hentenryck "The OPL Optimization Programming Language"- rabbits.co: Rabbits problem
- transp1.co: Transportation problem
Operations research
- furniture_moving_cumulative.co: Furniture moving using global constraint cumulative (simple scheduling problem from Marriott & Stuckey: 'Programming with constraints', page 112f). Compare with furniture_moving.co which uses the Comet's Schedule constraint.
Global constraints
Many of these models has been inspired by the great collections in Global Constraint Catalog.- among.co: Global constraint
among - among_seq.co: Global constraint
among_seq - cumulative.co: Global constraint
cumulative. See furniture_moving_cumulative.co for a use of this constraint - distribute.co: Global constraint
distribute - global_contiguity.co: Global constraint
global contiguity - inverse.co: Global constraint
inverse