Comet (programmeringsspråk)

Comet är ett kommersiellt programmeringsspråk designat av Brown University professor Dr Pascal Van Hentenryck som används för att lösa komplexa kombinatoriska optimeringsproblem inom områden som resursallokering och schemaläggning . Den erbjuder en rad optimeringsalgoritmer: från matematisk programmering till begränsningsprogrammering , lokal sökalgoritm och "dynamisk stokastisk kombinatorisk optimering."

Comet-program anger lokala sökalgoritmer som två komponenter:

• en högnivåmodell som beskriver applikationerna i termer av begränsningar , begränsningskombinatorer och objektiva funktioner ;
• ett sökförfarande uttryckt i termer av modellen på en hög abstraktionsnivå.

Detta tillvägagångssätt främjar återanvändbarhet över applikationer.

Dess API gör att den kan användas som ett mjukvarubibliotek . Comet har också abstraktioner på hög nivå för parallell och distribuerad beräkning , baserad på loop-schemaläggning , avbrott och arbetsstöld.

externa länkar

• Comet hemsida på Dynadec (nedlagd)
• Begränsningsbaserad lokal sökning av Pascal Van Hentenryck och Laurent Michel. MIT Press, 2005.