Gecode Een draagbare, toegankelijke en efficiënte omgeving voor het ontwikkelen van op constraint gebaseerde systemen en toepassingen.
Download nu

Gecode Rangschikking & Samenvatting

Gecode Tags

ontwikkeling ontwikkelomgeving omgeving Constraint-gebaseerde systemen GEBASEERDE TOEPASSINGEN Gecode

Gecode Beschrijving

Een draagbare, toegankelijke en efficiënte omgeving voor het ontwikkelen van constraint-gebaseerde systemen en toepassingen. Gecode is een toegankelijke, draagbaar en efficiënte omgeving voor het ontwikkelen constraint systemen en applications.Gecode radicaal open programmering, wat betekent dat het gemakkelijk kan worden uitgewisseld met andere systemen. Het ondersteunt de programmering van nieuwe verspreiders (als uitvoering van invloeden), vertakking strategieën en zoek engines.New variabele domeinen op hetzelfde rendement als eindig domein en integer set variabelen die komen vooraf met Gecode programmeren. Hier zijn een aantal belangrijke eigenschappen van "Gecode": kernel: · Gecode's kernel biedt een uitgebreide programmeerinterface om nieuwe variabele domeinen (met inbegrip van verspreiders als implementaties van beperkingen en vertakkingen) bouwen en zoekmachines. Hij is dun (ongeveer 1000 regels code) en vereist geen wijziging of hacking voor het toevoegen van nieuwe variabele domeinen of zoekmachines. Zoekopdracht: · Zoeken in Gecode is gebaseerd op de herberekening en kopiëren. Geavanceerde technieken omvatten adaptieve (versnelt verder zoeken) en batch herberekening (drastisch vermindert tijdens propagatie herberekening). Op dit moment, Gecode dragers zoeken naar een aantal oplossingen, optimalisatie (branch-and-bound), en beperkte discrepantie zoeken (meer details). Parallel-thread-based search is momenteel in ontwikkeling. Eindige domein beperkingen: · Gecode wordt geleverd met eindige domein beperkingen doorgevoerd op de top van de generieke kernel. Het biedt standaard beperkingen, zoals rekenkunde, Boolean, lineaire vergelijkingen en globale beperkingen, zoals: onderscheiden (alldifferent zowel grenzen en domein consistente), globaal cardinaliteit (zowel grenzen en domein consistente), element, cumulatieven, regelmatige sortedness en lex . Het is eenvoudig om nieuwe beperkingen en vertakkingen voeg (met name de volledige broncode met bovenstaande beperkingen als voorbeeld beschikbaar is). Eindige set beperkingen: · Gecode ook eindige integer set variabelen. De standaard set relaties en handelingen zijn beschikbaar als beperkingen, plus een aantal gespecialiseerde beperkingen, zoals bolling, globale redenering van de onderscheidbaarheid van sets, selectie beperkingen, gewogen sets, en beperkingen verbinden eindige domein en eindige set variabelen. Wat betreft de eindige domein beperkingen, kan de bibliotheek eenvoudig worden uitgebreid met nieuwe beperkingen en vertakkingen. Basic modellering ondersteuning: · Hoewel Gecode is ontworpen om gemakkelijk te gebruiken interface te zijn en niet te gemakkelijk zijn om model met, het komt met een aantal fundamentele modellering ondersteuning. Dit ondersteunt het uitdrukken lineaire en Booleaanse beperkingen in de standaard manier als uitingen bouwen van nummers en operators. Wat is er nieuw in deze release: · Deze versie voegt de sequentie beperking (bijgedragen door David Rijsman, Quintiq) en heeft zoals altijd een aantal kleine toevoegingen en verbeteringen. · Kernel · Bugfixes · + Toegevoegd ontbrekende opdracht operator voor de ruimte gestationeerde allocators voor STL datastructuren. (Minderjarige, dankzij Gustavo Gutierrez) · Zoekmachines · Bugfixes · + Het geheugen gemeld soms te laag (de vorige oplossing voor 3.2.0 het niet voor de tak en gebonden zoekopdracht heeft vast te stellen) zou kunnen zijn. (minderjarige) · Eindige domein integers · Toevoegingen · + Toegevoegd volgorde beperking. (Majeur, bijgedragen door David Rijsman) · Bugfixes · + De wereldwijde cardinaliteit (count) beperking accepteert nu ongesorteerd arrays met waarden. Zij eerder gekweekte onrechte als de array niet werd gesorteerd. (Minderjarige, dank aan Alberto Delgado) · + Fixed bug in de ICL_VAL kweekbak voor globale belangrijkheid. (minderjarige) · + Abonnement op constant standpunten respecteerde niet de vlag te vermijden verwerking. (minderjarige) · Finite integer sets · Bugfixes · + Abonnement op constant standpunten respecteerde niet de vlag te voorkomen verwerking (niet in de praktijk). (minderjarige) · Script commandline driver · Toevoegingen · + Report als search engine is gestopt. (minderjarige) · Range en waarde iterators · Andere wijzigingen · + Renamed test voor deelverzameling of disjointness bereik iterators naar "vergelijken". (minderjarige) · Voorbeeldscripts · Toevoegingen · + Toegevoegd auto sequencing voorbeeld (probleem 1 in CSPLib). Maakt gebruik van de nieuwe sequentie-beperking. (minderjarige) · Gecode / FlatZinc · Bugfixes · + Ondersteuning zoeken annotaties met constanten in de variabele arrays. (Minderjarige, dank aan H? Kan Kjellerstrand) · + De set_in en set_in_reif beperkingen waren buggy bij gebruik in combinatie met Booleaanse variabelen (die meestal niet worden gegenereerd door mzn2fzn zodat het probleem waarschijnlijk niet voorkomt in de praktijk). (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) · + Element Constraints in Reified Posities produceerden een fout in de vertaling van MZN2FZN. (Major, dankzij H? Kan Kjellerstrand)

Gecode Gerelateerde software