Software

  • Unser Benchmark-Generator stellt Benchmarks für die Antwortmengenprogrammierung zur Verfügung.
    (Die vorhergehende Prolog Version enthält zusätzlich Benchmarks für logische Programme mit Präferenzen.)

  • Das nomorepref System ist eine C++ Implementierung zur Berechnung bevorzugter Antwortmengen, wobei die Informationen über Präferenzen zur Lösungsberechnung direkt in den Solver integriert wurden.

  • Das GCplp ist eine sehr leicht verständliche Prolog Implementierung des nomorepref Systems.

  • Das noMoRe ist ein System zur Berechnung von Antwortmengen und der Vorgänger des nomore++ Systems.
  • DasGCasp ist analog zum GCplp System ein sehr leicht verständliches System zur Berechnung von Antwortmengen.