Minimale Logik Erweiterung

Studien

Dateien

Beschreibung Offline Online
Benchmark CLP(FD) Results PDF HTML
Reference Compliance HTML
Frequent Compliance HTML

Beschreibung

Bezüglich der Performance haben wir bis jetzt CLP(FD) ausführlich untersucht. Weiter führen wir regelmässig Testfälle durch, die die Qualität der Minimalen Logik Erweiterung sicherstellen. Die Testfälle prüfen sowohl die Verträglichkeit der Bedingungslöser als auch die Verträglichkeit des Computeralgebra Systems.