Comet

A domain-specific language for hybrid optimization, featuring solvers for constraint programming, mixed integer programming, and constraint-based local search.