Comet is a domain-specific language for hybrid optimization, featuring solvers for constraint programming, mixed integer programming, and constraint-based local search [objective_cp][cbls_book].

Comet was commercially released by Dynadec (Dynamic Decision Technologies Inc.) in the mid-2000’s. However, the company website and language binaries have been unavailable since 2014.

All the Comet models can be downloaded as a zip file