Package: clasp (3.3.5-4)
Links for clasp
Debian Resources:
Download Source Package clasp:
Maintainers:
External Resources:
- Homepage [www.potassco.org]
Similar packages:
Konfliktdrevet nogood-løsningsprogram for svarsæt til indlæring
Clasp er et løsningsprogram for svarsæt (udvidet) til normale logiske programmer. Det kombinerer modelleringsfunktionerne, på højt niveau, for svarsætprogrammering (ASP) med moderne teknikker fra området med boolesk begrænsningsløsning. Den primære clasp-algoritme beror på konfliktdreven nogood-indlæring, en teknik, der viste sig at have høj succes for opfyldelighedskontrol (SAT). I modsætning til andre løsningsprogrammer for indlærings-ASP, så stoler clasp ikke på forældede programmer, såsom et SAT-løsningsprogram eller ethvert andet eksisterende ASP-løsningsprogram. Snarere har clasp været udviklet til svarsæt-løsning baseret på konfliktdrevet nogood-indlæring. Clasp kan anvendes som et ASP-løsningsprogram (på LPARSE-uddataformat), som et SAT-løsningsprogrammet (på forenklet DIMACS/CNF-format) eller som et PB-løsningsprogram (på OPB-format).
Other Packages Related to clasp
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, mipsel]
- Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
-
- dep: libc6 (>= 2.30)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, i386, mipsel]
- GCC støttebibliotek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [i386, mipsel]
-
- dep: libstdc 6 (>= 6)
- GNU Standard C bibliotek v3
-
- rec: gringo
- Grundlæggende værktøjer for (disjunktive) logikprogrammer
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] |