Günstling Schneller und skalierbarer Einschränkungslöser
Jetzt downloaden

Günstling Ranking & Zusammenfassung

Günstling Stichworte

lösen Löser Zwang Constraint Solver. Beschränkung lösen Vertragslösung

Günstling Beschreibung

Schneller und skalierbarer Einschränkungslöser Minion, ist ein neuer Einschränkungslöser, der sehr schnell und skaliert ist, wenn die Problemgröße zunimmt. 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 kontrastiert mit aktuellen Constraint-Toolkits, die, um immer mehr Modellierungs- und Lösungsoptionen bereitzustellen, auf die Kosten für Leistung und Benutzerfreundlichkeit progressiv komplexer geworden ist. Minion ist eine Black Box aus der Anwendersicht, die absichtlich mitgeliefert wird Sehr wenige Möglichkeiten. Dies, kombiniert mit seiner Rohgeschwindigkeit, macht den Minion einen erheblichen Schritt in Richtung von Puget's `modell and Run 'Constraint Solving Paradigma. Hinweis: Minion befindet sich noch im Beta-Stadium der Entwicklung. Fehler können erwartet werden. Was ist neu in dieser Version: Verbesserungen: · Der Code wurde aufgeräumt und modularisiert, um leichter verständlicher und modifizierbarer zu sein · Weitere Informationen werden im Info-Modus zur Verfügung gestellt · Einige kleinere Bugfixes Leistungsverbesserungen: · Gebundene Schecks für boolesche Variablen sind effizienter · Eingabedateien werden schneller analysiert Andere Änderungen: · Das Build-System bietet jetzt Ziele, die Tests auszuführen · Die Builds erfolgt nicht mehr in der Haupt-Direcotry, sondern in einem separaten Verzeichnis (bedeutet, dass Sie so viele verschiedene Builds derselben Quelle wie Sie möchten) · Bessere Cygwin-Unterstützung

Günstling Zugehörige Software