Balík: clasp (3.3.4-2)

[ Zdroj: clasp  ]

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

• dep: libc6 (>= 2.14) [amd64]

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.4) [armhf, i386]

• dep: libgcc1 (>= 1:3.0) [amd64, arm64]

  podporná knižnica GCC

  dep: libgcc1 (>= 1:3.5) [armhf]

  dep: libgcc1 (>= 1:4.2) [i386]

• dep: libstdc++6 (>= 6)

  štandardná knižnica C++ GNU v3

• rec: gringo

  nástroje na uzemnenie programov (disjunktnej) logiky

Stiahnuť clasp

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	613.0 kB	1,711.0 kB	[zoznam súborov]
arm64	563.4 kB	1,635.0 kB	[zoznam súborov]
armhf	536.9 kB	1,162.0 kB	[zoznam súborov]
i386	677.6 kB	1,850.0 kB	[zoznam súborov]