Paketti: aspcud (1:1.9.6-2 ja muut)

Links for aspcud

Debian-palvelut:

Imuroi lähdekoodipaketti aspcud:

Ylläpitäjä:

Ralf Treinen (Laadunvalvontasivu)

External Resources:

Kotisivu [potassco.org]

Samankaltaisia paketteja:

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.

Muut pakettiin aspcud liittyvät paketit

depends

recommends

suggests

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

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libgcc-s1 (>= 3.4)

GCC:n apukirjasto
dep: libstdc++6 (>= 13.1)

GNU standardi C++ -kirjasto, versio 3

Imuroi aspcud

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
riscv64	1:1.9.6-2+b1	126.0 kt	391.0 kt	[tiedostoluettelo]