Package: clasp (3.3.5-4)
Links for clasp
Debian Resources:
Download Source Package clasp:
Maintainers:
External Resources:
- Homepage [www.potassco.org]
Similar packages:
risolutore di insiemi di risposte per apprendimento nogood pilotato dai conflitti
clasp è un risolutore di insiemi di risposte per programmi di logica normale (estesa). Combina le capacità di modellazione di alto livello di ASP (Answer Set Programming) con tecniche all'avanguardia dall'area della risoluzione di vincoli booleani. L'algoritmo primario di clasp si basa sull'apprendimento nogood pilotato da conflitti, una tecnica che ha dimostrato grande successo per i controlli di soddisfacibilità (SAT). A differenza di altri risolutori ASP con apprendimento, clasp non si basa su software datato, come un risolutore SAT o qualsiasi altro risolutore ASP esistente. Invece clasp è stato sviluppato veramente per la risoluzione di insiemi di risposte basata su apprendimento nogood pilotato da conflitti. clasp può essere applicato come risolutore ASP (sul formato di output LPARSE), come risolutore SAT (su formato DIMACS/CNF semplificato) o come risolutore PB (su formato OPB).
Other Packages Related to clasp
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, mipsel]
- libreria ausiliaria che fornisce funzioni __atomic incorporate
-
- dep: libc6 (>= 2.30)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, i386, mipsel]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [i386, mipsel]
-
- dep: libstdc++6 (>= 6)
- libreria GNU Standard C++, versione 3
-
- rec: gringo
- strumenti di grounding per programmi di logica (disgiuntiva)
Download clasp
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 619.4 kB | 1,735.0 kB | [list of files] |
| arm64 | 569.4 kB | 1,675.0 kB | [list of files] |
| armel | 524.1 kB | 1,534.0 kB | [list of files] |
| armhf | 537.1 kB | 1,182.0 kB | [list of files] |
| i386 | 677.4 kB | 1,850.0 kB | [list of files] |
| mips64el | 584.3 kB | 2,131.0 kB | [list of files] |
| mipsel | 599.8 kB | 2,047.0 kB | [list of files] |
| ppc64el | 655.8 kB | 2,151.0 kB | [list of files] |
| s390x | 561.8 kB | 1,815.0 kB | [list of files] |