GECODE. ein tragbares, zugängliches und effizientes Umfeld zur Entwicklung von Contraint-basierten Systemen und Anwendungen.
Jetzt downloaden

GECODE. Ranking & Zusammenfassung

GECODE. Stichworte

Entwicklung Entwicklungsumgebung Umgebung Constraint-basierte Systeme Beschränkungsanwendungen GECODE.

GECODE. Beschreibung

Eine tragbare, zugänglich und effiziente Umgebung für die Entwicklung von Constraint-basierten Systemen und Anwendungen. Gecode ist zugänglich, tragbar und effiziente Umgebung für die Entwicklung von Constraint-basierten Systemen und applications.Gecode ist radikal offen für die Programmierung, was bedeutet, dass es leicht an andere Systeme angebunden werden. Es unterstützt die Programmierung neuer Verbreiter (wie Umsetzung von Einschränkungen), Verzweigungsstrategien und engines.New variablen Domänen suchen können auf dem gleichen Niveau an Effizienz als finite Domäne und integer Setvariablen programmiert werden, die mit Gecode vordefiniert kommen. Hier sind einige der wichtigsten Features von Gecode: Kernel: · Gecode Kernel bietet eine umfassende Programmierschnittstelle neue variable Domänen (einschließlich Verbreiter als Implementierungen von Einschränkungen und Abzweigungen) zu konstruieren und Suchmaschinen. Es ist schlank (etwa 1000 Zeilen Code) und erfordert keine Änderungen oder Hacking für das Hinzufügen neuer variablen Domänen oder Suchmaschinen. Suche: · Suchen in Gecode wird auf eine erneute Berechnung basiert und zu kopieren. Fortgeschrittene Techniken umfassen adaptive (Geschwindigkeiten bis weitere Suche) und Batch-Neuberechnung (drastisch reduziert Ausbreitung während erneute Berechnung). Derzeit suchen Gecode Träger für einige Lösungen, die Optimierung (Branch-and-bound) und begrenzte Diskrepanz suchen (weitere Details). Parallel Thread basierte Suche ist derzeit in der Entwicklung. Finite-Domain Einschränkungen: · Gecode kommt mit endlichen Einschränkungen Domain auf dem generischen Kernel implementiert. Es bietet Standard-Einschränkungen wie arithmetics, Boolean, lineare Gleichungen und globale Rahmenbedingungen wie: distinct (alldifferent, beide Grenzen und Domain konsistent), global Mächtigkeit (beide Grenzen und Domäne konsistent), Element, Bestände, regelmäßige, sortedness und lex . Es ist einfach, neue Zwänge und Abzweigungen (insbesondere als vollständigen Quellcode mit den oben genannten Einschränkungen als Beispiele zur Verfügung steht) hinzuzufügen. Endliche Menge Einschränkungen: · Gecode bietet auch endliche Menge ganzer Zahlen Variablen. Die Standardsatz Beziehungen und Operationen sind als Einschränkungen zur Verfügung, sowie einige spezialisierte Einschränkungen wie Konvexität, globale Begründung für die Unterscheidbarkeit von Sätzen, die Auswahl Zwänge, gewichtete Sätze und Einschränkungen verbinden endlichen Bereich und endliche Menge Variablen. Wie für die Finite-Domain Einschränkungen kann die Bibliothek einfach mit neuen Einschränkungen und Verästelungen erweitert werden. Grundlegende Modellierungsunterstützung: · Auch wenn Gecode wurde, um einfach gestaltet zu Schnittstelle und nicht leicht zu Modell sein, kommt es mit einiger grundlegenden Modellierungsunterstützung. Dies unterstützt lineare und Boolesche Constraints in üblichen Weise als Ausdruck zum Ausdruck baut aus Zahlen und Operatoren. Was ist neu in dieser Version: · In dieser Version wird die Sequenz-Einschränkung (beigetragen von David Rijsman, Quintiq) und hat wie immer ein paar kleine Ergänzungen und Korrekturen. · Kernel · Fehlerbehebung · + Hinzugefügt fehlende Zuweisungsoperator für weltraumgestützte Verteilern für STL-Datenstrukturen. (Minor, dank Gustavo Gutierrez) · Suchmaschinen · Fehlerbehebung · + Der Speicher konnte manchmal zu niedrig gemeldet sein (das vorherige Update für 3.2.0 nicht für Branch and Bound Suche fix hat). (unerheblich) · Finite Domain ganze Zahlen · Zugänge · + Hinzugefügt Sequenz-Einschränkung. (Dur, trugen durch David Rijsman) · Fehlerbehebung · + Die globale Mächtigkeit (count) Einschränkung akzeptiert nun unsortiert Arrays von Werten. Es propagiert vorher falsch, wenn das Array nicht sortiert wurde. (Minor, dank Alberto Delgado) · + Behoben: Fehler in dem ICL_VAL Verbreiter für globale Mächtigkeit. (unerheblich) · + Abonnement für konstante Ansichten ehrt nicht die Fahne zu vermeiden Verarbeitung. (unerheblich) · Finite integer Sätze · Fehlerbehebung · + Abonnement für konstante Ansichten nicht die Fahne zu vermeiden Verarbeitung ehrten (nicht in der Praxis angewandt werden). (unerheblich) · Script Kommandozeilen-Treiber · Zugänge · + Bericht wenn Suchmaschine gestoppt wurde. (unerheblich) · Reichweite und Wert Iteratoren · Sonstige Änderungen · + Renamed Test für Teilmenge oder Disjunktheit des Bereichs Iteratoren auf Vergleichen. (unerheblich) · Beispielskripte · Zugänge · + Added Auto-Sequenzierung Beispiel (Problem 1 in CSPLib). Verwendet die neue Sequenz-Einschränkung. (unerheblich) · Gecode / FlatZinc · Fehlerbehebung · + Support Suche Anmerkungen mit Konstanten in dem variablen Arrays. (Minor, durch H? Kan Kjellerstrand) · + Die set_in und set_in_reif Einschränkungen waren verwanzt, wenn sie mit Booleschen Variablen (die von mzn2fzn in der Regel nicht erzeugt werden, so dass das Problem wahrscheinlich in der Praxis nicht auftreten). (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) · + Elemente-Einschränkungen in verifizierten Positionen erstellte einen Fehler in der MZN2FZN-Übersetzung. (dauerhaft danke an h? kan kjellerstrand)

GECODE. Zugehörige Software