Paket: aspcud (1:1.9.4-2)

Länkar för aspcud

Debianresurser:

Hämta källkodspaketet aspcud:

Ansvarig:

Ralf Treinen (QA-sida)

Externa resurser:

Hemsida [www.cs.uni-potsdam.de]

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)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libgcc1 (>= 1:3.0)

GCC stödbibliotek
dep: libstdc++6 (>= 5.2)

GNU standardbibliotek v3 för C++

Hämta aspcud

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	135,4 kbyte	504,0 kbyte	[filförteckning]