Package: clasp (3.3.5-4.2 and others)

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).

Tags: Implemented in: C++, Role: Program

Other Packages Related to clasp

depends

recommends

suggests

enhances

dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
dep: libc6 (>= 2.34) [not alpha, ia64, sh4]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.36) [sh4]
dep: libc6.1 (>= 2.30) [alpha, ia64]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

GCC støttebibliotek

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

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

dep: libgcc-s1 (>= 4.2) [ia64, sh4]

dep: libgcc-s1 (>= 7) [i386]
dep: libgcc-s2 (>= 4.2.1) [m68k]

GCC støttebibliotek
dep: libgcc-s4 (>= 4.1.1) [hppa]

GCC støttebibliotek
dep: libstdc++6 (>= 12) [not ia64, riscv64]

GNU Standard C++ bibliotek v3

dep: libstdc++6 (>= 13.1) [riscv64]

dep: libstdc++6 (>= 6) [ia64]
dep: libunwind8 [ia64]

Bibliotek til at bestemme call-chain for et program - kørselstid

rec: gringo

Grundlæggende værktøjer for (disjunktive) logikprogrammer

Download clasp

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	3.3.5-4.2	632.6 kB	2,086.0 kB	[list of files]
amd64	3.3.5-4.2	614.5 kB	1,719.0 kB	[list of files]
arm64	3.3.5-4.2	564.7 kB	1,699.0 kB	[list of files]
armel	3.3.5-4.2	515.9 kB	1,506.0 kB	[list of files]
armhf	3.3.5-4.2	526.9 kB	1,186.0 kB	[list of files]
hppa (unofficial port)	3.3.5-4.2	611.1 kB	1,764.0 kB	[list of files]
i386	3.3.5-4.2	672.8 kB	1,822.0 kB	[list of files]
ia64 (unofficial port)	3.3.5-1	783.8 kB	3,489.0 kB	[list of files]
m68k (unofficial port)	3.3.5-4.2	586.1 kB	1,722.0 kB	[list of files]
mips64el	3.3.5-4.2	581.0 kB	2,127.0 kB	[list of files]
ppc64 (unofficial port)	3.3.5-4.2	640.9 kB	2,339.0 kB	[list of files]
ppc64el	3.3.5-4.2	652.1 kB	2,147.0 kB	[list of files]
riscv64	3.3.5-4.2+b1	659.1 kB	1,524.0 kB	[list of files]
s390x	3.3.5-4.2	563.3 kB	1,815.0 kB	[list of files]
sh4 (unofficial port)	3.3.5-4.2	705.9 kB	1,698.0 kB	[list of files]
sparc64 (unofficial port)	3.3.5-4.2	526.5 kB	2,088.0 kB	[list of files]
x32 (unofficial port)	3.3.5-4.2	626.6 kB	1,662.0 kB	[list of files]