GECODE. Umgebung zur Entwicklung von Constraint-basierten Systemen und Anwendungen
Jetzt downloaden

GECODE. Ranking & Zusammenfassung

GECODE. Stichworte

Entwicklung sich entwickeln Entwicklungsumgebung Anwendungsentwicklung Zwang Einschränkungentwicklung

GECODE. Beschreibung

Umwelt zur Entwicklung von Constraint-basierten Systemen und Anwendungen GECODE (Generic Constraint Development Environment) ist ein offenes, tragbares, kostenloses, zugängliches und effizientes Umfeld zur Entwicklung von constraint-basierten Systemen und Anwendungen.Gecode verfügt über einen generischen Kernel, auf den Module wie Suche, Finite Domain Integer-Einschränkungen, und so auf zur Verfügung gestellt werden. Hier sind einige wichtige Funktionen von "Gecode": · Öffnen: GECode ist für die Programmierung radikal offen: Es kann leicht an andere Systeme angeschlossen werden. Es unterstützt die Programmierung neuer Propagatoren (als Umsetzung von Einschränkungen), Verzweigungsstrategien und Suchmaschinen. Neue Variablen-Domänen können auf derselben Effizienzniveau programmiert werden, da finite Domain- und Integer-Set-Variablen, die mit GECODE vordefiniert sind. · Free: GECODE ist unter der MIT-Lizenz verteilt und wird von der FSF als kostenlose Software aufgeführt. Alle Teile einschließlich Dokumentation, Implementierungen globaler Einschränkungen und Beispiele sind als Quellcode zum Download verfügbar. · Portable: GECODE ist in C ++ implementiert, in dem der C ++ - Standard sorgfältig folgt. Es kann mit modernen C ++ - Compilern zusammengestellt werden und läuft auf einer Vielzahl von Maschinen (einschließlich 64-Bit-Maschinen). · Zugänglich: GECode verfügt über eine umfangreiche Referenzdokumentation, mit der sich auf verschiedene Programmieraufgaben mit Gecode konzentrieren können. In naher Zukunft beabsichtigen wir, eine Tutorial-Dokumentation freizugeben, die die verschiedenen Programmieraufgaben detaillierter erläutert. · Effizient: GECODE bietet eine wettbewerbsfähige Leistung in Bezug auf Runtime- und Speicherbelegung. Ein Vergleich mit einigen anderen Systemen ist verfügbar. Was ist neu in dieser Version: Kernel: Fehlerbehebung: · Fehlender Zuweisungsoperator für platzbasierte Allocators für STL-Datenstrukturen hinzugefügt. (Minor, danke an Gustavo Gutierrez) Suchmaschinen: Fehlerbehebung: · Der gemeldete Speicher könnte manchmal zu niedrig sein (der vorherige Fix für 3.2.0 hat es nicht für Zweig- und Gebundene Suche behoben). (unerheblich) Finite Domain Ganzzahlen: Ergänzungen: · Reihenfolge der Reihenfolge hinzugefügt. (Major, beigetragen von David Rijsman) Fehlerbehebung: · Die globale Kardinalitätsbeschränkung akzeptiert nun ortsgerechte Wertearrays. Zuvor propagierte es zuvor falsch, wenn das Array nicht sortiert wurde. (Minor, danke an Alberto Delgado) · Fehler in der ICL_VAL-Progagator für globale Kardinalität behoben. (unerheblich) · Das Abonnement für ständige Ansichten ehrte das Flag nicht, um die Verarbeitung zu vermeiden. (unerheblich) Finite Integer Sets: Fehlerbehebung: · Das Abonnement für ständige Ansichten ehrte das Flag nicht, um die Verarbeitung zu vermeiden (nicht in der Praxis). (unerheblich) Skript-Kommando-Treiber: Ergänzungen: · Bericht, wenn Suchmaschine angehalten wurde. (unerheblich) Reichweite und Wertträger: Andere Änderungen: · Umbenannte Tests für Teilmenge oder Unkenntnis von Range-Iteratoren, um "vergleichen". (unerheblich) Beispiel-Skripts: Ergänzungen: · Fahrzeugsequenz-Beispiel hinzugefügt (Problem 1 in CSPlib). Verwendet die neue Sequenz-Einschränkung. (unerheblich) GECODE / BITTZINC: Fehlerbehebung: · Unterstützen Sie Suchanmerkungen mit Konstanten in den variablen Arrays. (Minor, danke an h? kan kjellerstrand) · Die Einschränkungen SET_IN- und SET_IN_REIF (unerheblich) · Die Global_Cardinalitätsbeschränkung war nicht vollständig mit der MiniZinc-Semantik kompatibel. Es würde die in der Anordnung nicht erwähnten Werte einschränken, um Null-Ereignisse zu haben, während sie in Minizc uneingeschränkt sind. (unerheblich) · Elementbeschränkungen in verifizierten Positionen erstellte einen Fehler in der MZN2FZN-Übersetzung. (dauerhaft danke an h? kan kjellerstrand)

GECODE. Zugehörige Software