Gecode Ambiente per lo sviluppo di sistemi e applicazioni basati sui vincoli
Scarica ora

Gecode Classifica e riepilogo

Gecode Tag

sviluppo sviluppare sviluppo dell'ambiente Sviluppo dell'applicazione costrizione Sviluppo di vincoli

Gecode Descrizione

Ambiente per lo sviluppo di sistemi e applicazioni basati sui vincoli GeCode (Ambiente di sviluppo del vincolo generico) è un ambiente aperto, portatile, libero, accessibile ed efficiente per lo sviluppo di sistemi e applicazioni basati su vincoli. Gecode presenta un kernel generico in cima al quale moduli come ricerca, vincoli interi di dominio finiti, e così sono forniti. Ecco alcune caratteristiche chiave di "GECDE": · Apri: GECTE è radicalmente aperto per la programmazione: può essere facilmente interfacciata ad altri sistemi. Supporta la programmazione di nuovi propagatoratori (come implementazione dei vincoli), strategie di ramificazione e motori di ricerca. I nuovi domini variabili possono essere programmati allo stesso livello di efficienza del dominio finito e variabili set interi che vengono predefiniti con Gecode. · GRATUITA: GECTE è distribuito sotto la licenza MIT ed è elencato come software gratuito da parte dell'FSF. Tutte le sue parti, inclusa la documentazione, le implementazioni dei vincoli globali ed esempi sono disponibili come codice sorgente per il download. · Portable: Gecode è implementato in C ++ che segue attentamente lo standard C ++. Può essere compilato con moderni compilatori C ++ e funziona su una vasta gamma di macchine (comprese le macchine a 64 bit). · Accessibile: GeCode è dotato di un'ampia documentazione di riferimento che consente di concentrarsi su diverse attività di programmazione con Gecode. Nel prossimo futuro, intendiamo rilasciare la documentazione del tutorial che spiega i vari compiti di programmazione in modo più dettagliato. · Efficiente: GeCode offre prestazioni competitive rispetto all'utilizzo di runtime e memoria. È disponibile un confronto con altri sistemi. Cosa c'è di nuovo in questa versione: Kernel: Correzioni di bug: · Aggiunto operatore di assegnazione mancante per gli allocatori spaziali per le strutture di 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 di ramo e legato). (minore) I numeri interi di dominio finiti: Aggiunte: · Aggiunto vincolo di sequenza. (Maggiore, ha contribuito da David Rijsman) Correzioni di bug: · Il vincolo Global Cardinality (Count) ora accetta array di valori non esportati. In precedenza propagato in modo errato se l'array non è stato ordinato. (Minore, grazie ad Alberto Delgado) · Risolto bug nel propagatore ICL_VAL per la cardinalità globale. (minore) · L'abbonamento a viste costanti non onorava la bandiera per evitare l'elaborazione. (minore) Set interi finiti: Correzioni di bug: · L'abbonamento a viste costanti non onorava la bandiera per evitare l'elaborazione (non si è verificata nella pratica). (minore) Driver di comando script: Aggiunte: · Segnalare se il motore di ricerca è stato fermato. (minore) Gamma e valore Iteratori: Altre modifiche: · Test rinominato per sottoinsieme o disgiunta del range iteratori per "confrontare". (minore) Script di esempio: Aggiunte: · Aggiunto esempio di sequenziamento auto (problema 1 in cspplib). Usa il nuovo vincolo di sequenza. (minore) Gecode / flatzinc: Correzioni di bug: · Supporta le 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 globale_cardinality 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 refinite hanno prodotto un errore nella traduzione MZN2FZN. (maggiore, grazie a h? kan kjellerstrand)

Gecode Software correlato