FLINGO: ASP-Ausdruckskraft in lineare Integer‑Beschränkungen einbinden
Constraint Answer Set Programming (CASP) verbindet die deklarative Logik von Answer Set Programming (ASP) mit der leistungsfähigen Verarbeitung numerischer Einschränkungen. Diese Kombination ist in vielen praxisnahen Anwendungen unverzichtbar, weil sie sowohl logische als auch arithmetische Probleme in einem Modell vereint.