Gecode MILIEU VOOR HET ONTWIKKELENDE BEGELEIDENDE SYSTEMEN EN TOEPASSINGEN
Download nu

Gecode Rangschikking & Samenvatting

Gecode Tags

ontwikkeling ontwikkelen ontwikkelomgeving applicatie ontwikkeling dwang constraint ontwikkeling

Gecode Beschrijving

Omgeving voor het ontwikkelen van constraint-gebaseerde systemen en toepassingen GeCODE (Generic Constraint Development Environment) is een open, draagbare, gratis, toegankelijke en efficiënte omgeving voor het ontwikkelen van op de ontwikkeling gebaseerde systemen en applicaties.Gecode is voorzien van een generieke kernel bovenop welke modules zoals zoeken, eindige domein integeringen, enzovoort op zijn aanwezig. Hier zijn enkele belangrijke kenmerken van "GECODE": · Open: GeCODE is radicaal open voor programmering: het kan eenvoudig worden gecompenseerd met andere systemen. Het ondersteunt de programmering van nieuwe propagators (als implementatie van beperkingen), vertakkingstrategieën en zoekmachines. Nieuwe variabele domeinen kunnen worden geprogrammeerd op hetzelfde niveau van efficiëntie als eindige domein en gehele set-variabelen die vooraf zijn gedefinieerd met GECODE. · GRATIS: GECODE wordt gedistribueerd onder de MIT-licentie en wordt weergegeven als gratis software door de FSF. Al haar onderdelen, inclusief documentatie, implementaties van globale beperkingen en voorbeelden zijn verkrijgbaar als broncode voor download. · Draagbaar: Gecode wordt geïmplementeerd in C ++ die zorgvuldig de C ++ -standaard volgt. Het kan worden samengesteld met moderne C ++ -compilers en draait op een breed scala aan machines (inclusief 64bit-machines). · Toegankelijk: Gecode wordt geleverd met uitgebreide referentiedocumentatie die mogelijk maakt om zich op verschillende programmeertaken met GECODE te richten. In de nabije toekomst willen we de tutorial-documentatie vrijgeven met het uitleggen van de verschillende programmeertaken in meer detail. · Efficiënt: GECODE biedt concurrerende prestaties met betrekking tot zowel runtime- als geheugengebruik. Een vergelijking met sommige andere systemen is beschikbaar. Wat is er nieuw in deze release: Kernel: Bugfixes: · Ontbrekende opdrachtoperator toegevoegd voor ruimte-gebaseerde toewijzers voor STL-gegevensstructuren. (Minor, dankzij Gustavo Gutierrez) Zoekmachines: Bugfixes: · Het gemelde geheugen kan soms te laag zijn (de vorige oplossing voor 3.2.0 heeft het niet opgelost voor filiaal en gebonden zoeken). (minderjarige) Eindig domein-gehele getallen: Toevoegingen: · Voegde sequentiebeperking toe. (Major, bijgedragen door David Rijsman) Bugfixes: · De Global Cardinality (Count) Constraint accepteert nu ongeschoolde reeksen. Het is eerder verkeerd gepropageerd als de array niet werd gesorteerd. (Minor, dankzij Alberto Delgado) · Fixed Bug in de ICL_VAL-propagator voor wereldwijde kardinaliteit. (minderjarige) · Abonnement op constante opvattingen heronieerde de vlag niet om verwerking te voorkomen. (minderjarige) Eindige integer sets: Bugfixes: · Abonnement op constante opvattingen heronieerde de vlag niet om verwerking te voorkomen (niet in de praktijk gebeurde). (minderjarige) Script Commandline Driver: Toevoegingen: · Rapporteer of zoekmachine is gestopt. (minderjarige) Bereik en waarde-iterators: Andere wijzigingen: · Hernachting van de test voor subset of disjongness van bereik-iterators om "te vergelijken". (minderjarige) Voorbeeldscripts: Toevoegingen: · Voorbeeld van auto-sequenties (probleem 1 in CSPLIB). Gebruikt de nieuwe sequentie-beperking. (minderjarige) GeCODE / Flatzininc: Bugfixes: · Ondersteunt zoekannotaties met constanten in de variabele arrays. (Minor, dankzij H? Kan Kjellerstrand) · De Set_in en Set_in_REIF-beperkingen waren buggy bij gebruik met Booleaanse variabelen (die meestal niet worden gegenereerd door MZN2FZN, zodat het probleem waarschijnlijk niet in de praktijk gebeurt). (minderjarige) · De Global_cardinaliteitsbeperking was niet volledig compatibel met de Minizinc-semantiek. Het zou vasthouden waarden die niet in de array worden vermeld om nul-gebeurtenissen te hebben, terwijl ze in Minizinc onbeperkt zijn. (minderjarige) · Elementbeperkingen in reifiedposities produceerden een fout in de vertaling van MZN2FZN. (Major, dankzij H? Kan Kjellerstrand)

Gecode Gerelateerde software