všetky možnosti
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: clasp  ]

Balík: clasp (3.3.4-2)

Odkazy pre clasp

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík clasp:

Správcovia:

Externé zdroje:

Podobné balíky:

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).

Značky: Implementované v: C++, Role: Program

Ostatné balíky súvisiace s balíkom clasp

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť clasp

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
i386 677.6 kB1,850.0 kB [zoznam súborov]