Balík: clasp (3.3.5-4.2 a iné)
Odkazy pre clasp
Zdroje Debian:
Stiahnuť zdrojový balík clasp:
Správcovia:
Externé zdroje:
- Domovská stránka [www.potassco.org]
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).
Ostatné balíky súvisiace s balíkom clasp
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel]
- pomocná knižnica poskytujúca zabudované funkcie __atomic
-
- dep: libc6 (>= 2.34) [nie arm64]
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.38) [arm64]
-
- dep: libgcc-s1 (>= 3.0) [nie armel, armhf, i386, riscv64]
- podporná knižnica GCC
- dep: libgcc-s1 (>= 3.4) [riscv64]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 7) [i386]
-
- dep: libstdc++6 (>= 12) [nie arm64, riscv64]
- štandardná knižnica C++ GNU v3
- dep: libstdc++6 (>= 13.1) [riscv64]
- dep: libstdc++6 (>= 14) [arm64]
-
- rec: gringo
- nástroje na uzemnenie programov (disjunktnej) logiky
Stiahnuť clasp
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| amd64 | 3.3.5-4.2 | 614.5 kB | 1,719.0 kB | [zoznam súborov] |
| arm64 | 3.3.5-4.2+b1 | 581.0 kB | 1,764.0 kB | [zoznam súborov] |
| armel | 3.3.5-4.2 | 515.9 kB | 1,506.0 kB | [zoznam súborov] |
| armhf | 3.3.5-4.2 | 526.9 kB | 1,186.0 kB | [zoznam súborov] |
| i386 | 3.3.5-4.2 | 672.8 kB | 1,822.0 kB | [zoznam súborov] |
| mips64el | 3.3.5-4.2 | 581.0 kB | 2,127.0 kB | [zoznam súborov] |
| ppc64el | 3.3.5-4.2 | 652.1 kB | 2,147.0 kB | [zoznam súborov] |
| riscv64 | 3.3.5-4.2+b1 | 659.1 kB | 1,524.0 kB | [zoznam súborov] |
| s390x | 3.3.5-4.2 | 563.3 kB | 1,815.0 kB | [zoznam súborov] |