• unterstützt die Erstellung von GTS (graphisch und aus CHR Code)
• unterstützt Ausführung der GTS
• erweiterbare Analyse-Platform

Vollständige Eclipse Umgebung mit allen Abhängigkeiten: hier
Dokumentation in Form der Diplomarbeit von Mathias Wasserthal: hier

Ein SWI-Prolog-basiertes Testprogramm für die Zustandsäquivalenz von CHR Zuständen und Konfluenz von terminierenden CHR Programmen wurde von Johannes Langbein unter Betreuung von Frank Raiser entwickelt.

Die Programme, zusammen mit Tests, Bedienungsanleitung und Lizenzinformation, sind hier verfügbar.

MTSeq kombiniert GUI-gesteuerte Multitouch-Eingabe Technologie mit dem CHR-basierten Musikgenerator APOPCALEAPS und einer fortschrittlichen Audio-Engine. Diese Kombination führt zu einer erweiterten Benutzererfahrung und einem intuitiven, spielerischen Zugang zum CHR Musikgenerator. Auf diese Weise führt es Musiker und Nicht-Informatiker auf geeignete Art an CHR heran. Die Anwendung ist vollständig modularisiert und die einzelnen Bestandteile sind lose verbunden durch eine standardmäßige IP-Netzwerk Schicht, so dass sie wahlweise über mehrere Maschinen verteilt werden können.

Dieses Video demonstriert die Verwendung und Fähigkeiten von MTSeq.