GÜNSTLING Ein neuer Einschränkungslöser
Jetzt downloaden

GÜNSTLING Ranking & Zusammenfassung

GÜNSTLING Stichworte

Löser Modellieren Constraintlöser Zwang CONSTRAINT-Modellierung. Matrixmodelle

GÜNSTLING Beschreibung

Ein neuer Einschränkungslöser Minion ist ein neuer Einschränkungslöser, der sehr schnell und skaliert ist, da die Problemgröße erhöht wird. Empirische Ergebnisse auf Standard-Benchmarks zeigen Aufträge der Größenleistungsleistungsgewinne gegenüber den Toolkits mit modernster Einschränkungen. Diese Gewinne erhöhen sich mit der Problemgröße - - Minion liefert skalierbare Einschränkungslösungen.Minion ist ein Allzweck-Constraint-Solver mit einer ausdrucksstarken Eingabesprache, die auf dem gemeinsamen Einschränkungsmodellierungsgerät von Matrixmodellen basiert. Die Fokussierung auf Matrix-Modelle unterstützt eine schlanke, hochoptimierte Implementierung. Dies steht im Gegensatz zu aktuellen CONSTRAINT-Toolkits, die, um immer mehr Modellierungs- und Lösungsmöglichkeiten zu gewinnen, auf die Kosten für beide Leistung und Benutzerfreundlichkeit progressiv komplexer geworden ist. Minion ist eine Blackbox aus der Anwendersicht, die absichtlich wenige Optionen bereitstellt . Dieses, kombiniert mit seiner Rohgeschwindigkeit, macht den Minion einen erheblichen Schritt in Richtung von Puget's `modell and Run 'Constraint Solving Paradigm.minion ist immer noch in der Beta-Stufe der Entwicklung. Fehler können erwartet werden. Wir bemühen uns jedoch, Fehler sofort zu beheben, nachdem sie gemeldet wurden. Was ist neu in dieser Version: Die folgenden Fehler, die falsche Antworten erstellen könnten, wurden behoben: · Die "POW" -Binstanz wurde von Domains verwirrt, die '0' enthielt. · Die Verwendung von Ganzen in der Nähe von 2 ^ 32 könnte gelegentlich falsche Ergebnisse erzeugen. Die Tabelleneinschränkung, die 1 Tupel über keine Variablen enthält, wurde als falsch angesehen, nicht wahr. Die folgenden Fehler, die keine falschen Fehler erstellen konnten, wurden behoben: · Arrays, die keine Variablen enthalten, abgestürzte Minion. · Viele Einschränkungen sind abgestürzt, wenn die Anordnungen der Länge 0 abgegeben werden. Die Tabelleneinschränkungen verursachten Abstürze, wenn die Länge der Tupel nicht gleich der Anzahl der Variablen ist. Die folgenden Verbesserungen wurden auf den Minion unternommen, von denen einige in früheren Versionen waren, aber jetzt korrekt dokumentiert sind: · Alle Einschränkungen können jetzt reifiziert werden. · Eine effiziente Methode zur Berechnung der "oder" einer Liste von Einschränkungen wurde hinzugefügt. · Effiziente Implementierungen von Alldiff und GCC (Global Cardinalitätsbeschränkung) wurden hinzugefügt. · Eine Reihe anderer binärer und unary-Einschränkungen wurden hinzugefügt. · Es gibt jetzt einen rudimentären Visualisierer, der (in einer Matrix) die Domänen / Zuweisungen von Variablen während der Suche zeigt. · Das Minion Build System verwendet jetzt 'CMAKE'. · Die Dokumentation wurde verbessert. Eine Vielzahl anderer kleiner Verbesserungen und Anpassungen wurden ebenfalls auf Basis einer viel größeren automatisierten Testsuite erstellt. Beachten Sie, dass das Schneider nicht Teil der Standard-Minion-Distribution ist. Es wird separat freigegeben.

GÜNSTLING Zugehörige Software