Balík: clasp (3.3.5-4)

[ 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: libatomic1 (>= 4.8) [armel, mipsel]

  pomocná knižnica poskytujúca zabudované funkcie __atomic

• dep: libc6 (>= 2.30)

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

• dep: libgcc-s1 (>= 3.0) [nie armel, armhf, i386, mipsel]

  podporná knižnica GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [i386, mipsel]

• 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	619.4 kB	1,735.0 kB	[zoznam súborov]
arm64	569.4 kB	1,675.0 kB	[zoznam súborov]
armel	524.1 kB	1,534.0 kB	[zoznam súborov]
armhf	537.1 kB	1,182.0 kB	[zoznam súborov]
i386	677.4 kB	1,850.0 kB	[zoznam súborov]
mips64el	584.3 kB	2,131.0 kB	[zoznam súborov]
mipsel	599.8 kB	2,047.0 kB	[zoznam súborov]
ppc64el	655.8 kB	2,151.0 kB	[zoznam súborov]
s390x	561.8 kB	1,815.0 kB	[zoznam súborov]