Produktmerkmale

Entwicklungssystem

• Die deklarative, domänenspezifische Sprache ConStrukt dient zur Modellierung der Problembeschreibung.
• Die Codegenerierung von problemspezifischen Schnittstellen zum Laufzeitsystem ermöglicht einfache und schnelle Integration in Anwendungen.
• Eine spezielle Shell ermöglicht interaktives Arbeiten ohne Anwendungsprogramm.
• Ein Werkzeug zur Analyse von Suchläufen ist vorhanden.

Laufzeitumgebung

• Das effiziente Laufzeitsystem zur Lösungssuche implementiert verschiedene Constraint-basierte Techniken.
• Zwischenstände der Lösungssuche können abgerufen werden.
• Änderungen an der Problemstellung zur Laufzeit werden unterstützt.
• Die Analyse von Zwischenergebnissen oder extern erstellten Lösungsvorschlägen ist möglich.
• Während der Lösung ist ein Abbruch jederzeit mit einem Zwischenergebnis möglich.

Constraint-Techniken

• Symbolische Wertebereiche und Mengen von Zahlen (ganze Zahlen, Fließkommazahlen) können verarbeitet werden.
• Harte, gewichtete und unscharfe Constraints (Fuzzy-Constraints) werden unterstützt.
• Verschiedene vordefinierte globale Constraints sind verfügbar.
• Die folgenden Suchalgorithmen sind verfügbar:
  • Branch&Bound Baumsuche mit oder ohne Backmarking.
  • Programmierbare lokale Suche.
• Die folgenden Formen der Constraint-Propagierung werden unterstützt:
  • Extended forward checking.
  • Inverse arc consistency (Fixpunkt der Propagierung).

Systemvoraussetzungen

• Das ConSolve^®-Entwicklungssystem und die Laufzeitumgebung unterstützen folgende Betriebssysteme:
  Microsoft Windows 9x , ME, NT, 2000 oder XP; Linux und UNIX (Apple Macintosh in Vorbereitung).
• Das ConSolve^®-Laufzeitsystem lässt sich in jede Programmierumgebung mit C- oder C++-Schnittstelle einbinden.