comet 2.1

Comet is an Award-winning tool for solving complex combinatorial optimization problems in areas such as resource allocation and scheduling. It may dramatically simplify the design and implementation of (stochastic) local search and constraint-programming algorithms, while preserving the efficiency of low-level, problem-specific, implementations. Comet is partly described in the book "Constraint-Based Local Search" published by MIT Press and is the research platform of the optimization laboratory at Brown university and has been licensed by Brown to Dynamic Decision Technologies . One of the main innovations of Comet is Constraint-based Local Search, a computational paradigm based on the idea of specifying local search algorithms as two components: a high-level model describing the applications in terms of constraints, constraint combinators, and objective functions; a search procedure expressed in terms of the model at a high abstraction level. Constraint-based local search makes it possible to build local search algorithms compositionally, to separate modeling from search, to promote reusability across many applications, and to exploit problem structure to achieve high performance.