Comet is a constraint modelling tool which makes use of Constraint-based Local Search.

All the Comet models can be downloaded as a zip file