Paket: aspcud (1:1.9.4-3)

Länkar för aspcud

Debianresurser:

Hämta källkodspaketet aspcud:

Ansvarig:

Ralf Treinen (QA-sida)

Externa resurser:

Hemsida [potassco.org]

Liknande paket:

CUDF solver based on Answer Set Programming

Aspcud is an experimental solver for package dependencies. A package universe and a request to install, remove or upgrade packages have to be encoded in the CUDF format.

Andra paket besläktade med aspcud

beror

rekommenderar

föreslår

enhances

dep: clasp (<< 4)

conflict-driven nogood learning answer set solver

dep: clasp (>= 3.0.0)
dep: gringo (>= 4.2.1)

grounding tools for (disjunctive) logic programs
dep: libc6 (>= 2.14) [amd64]

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf, i386]
dep: libgcc-s1 (>= 3.0) [ej armhf]

GCC stödbibliotek

dep: libgcc-s1 (>= 3.5) [armhf]
dep: libstdc++6 (>= 5.2) [armhf]

GNU standardbibliotek v3 för C++

dep: libstdc++6 (>= 9) [ej armhf]

Hämta aspcud

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	131,2 kbyte	478,0 kbyte	[filförteckning]
arm64	117,7 kbyte	430,0 kbyte	[filförteckning]
armhf	111,5 kbyte	324,0 kbyte	[filförteckning]
i386	133,0 kbyte	447,0 kbyte	[filförteckning]