Gecode Un ambiente portatile, accessibile ed efficiente per lo sviluppo di sistemi e applicazioni basati su vincoli.
Scarica ora

Gecode Classifica e riepilogo

Gecode Tag

sviluppo sviluppo dell'ambiente ambiente sistemi di vincoli basati Applicazioni basate sui vincoli Gecode.

Gecode Descrizione

Un ambiente portatile, accessibile ed efficiente per lo sviluppo di sistemi e applicazioni basati su vincoli. GeCode è un ambiente accessibile, portatile ed efficiente per lo sviluppo di sistemi e applicazioni basati su vincoli. Gecodo è radicalmente aperto per la programmazione, il che significa che può essere facilmente interfacciato ad altri sistemi. Supporta la programmazione di nuovi propagatoratori (come implementazione dei vincoli), strategie di ramificazione e motori di ricerca. È possibile programmare domini variabili allo stesso livello di efficienza come variabile di dominio finito e variabili integri che vengono predefiniti con Gecode. Ecco alcune caratteristiche chiave di "GECDE": Kernel: · Il kernel di Gecode fornisce un'interfaccia di programmazione completa per costruire nuovi domini variabili (compresi i propagatori come implementazioni di vincoli e rami) e motori di ricerca. È sottile (circa 1000 linee di codice) e non richiede modifiche o hacking per aggiungere nuovi domini variabili o motori di ricerca. Ricerca: · La ricerca in Gecode è basata sulla ricomputazione e sulla copia. Le tecniche avanzate includono adattative (accelera ulteriormente la ricerca) e il ricomput della batch (riduce drasticamente la propagazione durante il ricomputamento). Attualmente, GeCoDE supporta la ricerca di alcune soluzioni, ottimizzazione (ramo-e-bound) e una ricerca limitata discrepanza (maggiori dettagli). La ricerca basata su filettatura parallela è attualmente in fase di sviluppo. Vincoli di dominio finiti: · Gecode viene fornito con vincoli di dominio finiti implementati sulla parte superiore del kernel generico. Offre vincoli standard come Arithmetics, Boolean, Equazioni lineari e vincoli globali quali: distinti (alldifferenti, entrambi limiti e dominio coerenti), cardinalità globale (entrambi i limiti e dominio coerenti), elemento, cumulativi, regolari, ordinati e lex . È semplice aggiungere nuovi vincoli e rami (in particolare come il codice sorgente completo con i vincoli di cui sopra come esempi è disponibile). Vincoli set finiti: · GeCoDE fornisce anche variabili stabiliti interi finiti. Le relazioni e le operazioni standard sono disponibili come vincoli, oltre a alcuni vincoli specializzati come convessità, ragionamento globale per la distinzione dei set, i vincoli di selezione, i set ponderati e i vincoli che collegano il dominio finito e le variabili di set finiti. Per quanto riguarda i vincoli del dominio finito, la biblioteca può essere facilmente estesa con nuovi vincoli e rami. Supporto per la modellazione di base: · Anche se Gecode è stato progettato per essere facile da interfacciare e non essere facile da modellare, viene fornito con un supporto di modellazione di base. Questo supporta esprimendo vincoli lineari e booleani nel modo standard come espressioni costruite da numeri e operatori. Cosa c'è di nuovo in questa versione: · Questa versione aggiunge il vincolo della sequenza (contribuito da DAVID Rijsman, Quintiq) e ha come sempre alcune piccole aggiunte e correzioni. · Kernel. · Correzioni di bug · + Aggiunto operatore di assegnazione mancante per gli allocatori spaziali per le strutture dati STL. (Minore, grazie a Gustavo Gutierrez) · Motori di ricerca · Correzioni di bug · + La memoria riportata potrebbe essere talvolta troppo bassa (la correzione precedente per 3.2.0 non lo aggiusta per la ricerca e la ricerca vincolata). (minore) · I numeri interi di dominio finiti · Aggiunte · + Aggiunto vincolo di sequenza. (Maggiore, ha contribuito da David Rijsman) · Correzioni di bug · + Il vincolo Global Cardinalità (Conte) ora accetta array di valori non esportati. In precedenza propagato in modo errato se l'array non è stato ordinato. (Minore, grazie ad Alberto Delgado) · + Bug fisso nel propagatore ICL_VAL per la cardinalità globale. (minore) · + Abbonamento a viste costanti non onorava la bandiera per evitare l'elaborazione. (minore) · Set interi finiti · Correzioni di bug · + Abbonamento a viste costanti non onorava la bandiera per evitare l'elaborazione (non si è verificata nella pratica). (minore) · Driver di comando script · Aggiunte · + Segnala se il motore di ricerca è stato interrotto. (minore) · Gamma e valore iteratori · Altre modifiche · + Test rinominato per sottoinsieme o disgiunta del range iteratori per "confrontare". (minore) · Script di esempio · Aggiunte · Esempio di sequenziamento auto aggiunto (problema 1 in csplib). Usa il nuovo vincolo di sequenza. (minore) · Gecode / flatzinc · Correzioni di bug · + Supporta annotazioni di ricerca con costanti negli array variabili. (Minore, grazie a H? Kan Kjellerstrand) · + I vincoli Set_in e set_in_reif erano buggy se utilizzati con variabili booleane (che di solito non sono generate da MZN2FZN in modo che il problema probabilmente non si verifichi nella pratica). (minore) · + Il vincolo global_cardinalità non è stato completamente compatibile con la semantica minizinc. Vi limitare i valori non menzionati nell'array per avere zero occorrenze, mentre in minizinc è illimitato. (minore) · + I vincoli di elementi in posizioni reificate hanno prodotto un errore nella traduzione MZN2FZN. (maggiore, grazie a h? kan kjellerstrand)

Gecode Software correlato