učiaci sa riešiteľ sady odpovedí nogood riadený konfliktami
clasp je riešiteľ sady odpovedí pre programy (rozšírnej) normálnej logiky.
Kombinuje schopnosti vysokoúrovňového modelovania ASP (answer set
programming) s modernými technikami z oblasti riešenia booleovských
obmedzení. Primárny algoritmus clasp závisí na učení nogood riadenom
konfliktami, čo je technika, ktorá sa ukázala ako veľmi úspešná pri riešení
uspokojiteľnosti (SAT). Na rozdiel od iných učiacich sa riešiteľov ASP,
clasp nezávisí od staršieho softvéru ako je riešiteľ SAT ani iného
existujúceho riešiteľa ASP. clasp bol namiesto toho vyvinutý na riešenie
množín odpovedí na základe učenia nogood riadeného konfliktami. clasp je
možné použiť ako riešiteľa ASP (na výstupnom formáte LPARSE), ako riešiteľa
SAT (na zjednodušenom formáte DIMACS/CNF) alebo ako riešiteľa PB (na
formáte OPB).
