[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Source: aspcud ]

Package: aspcud (1:1.9.4-3)

Links for aspcud

Debian Resources:

Download Source Package aspcud:

Maintainer:

Ralf Treinen (QA Page)

External Resources:

Homepage [potassco.org]

Similar packages:

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.

Other Packages Related to aspcud

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

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libstdc 6 (>= 9)

GNU Standard C Library v3

Download aspcud

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	131.2 kB	478.0 kB	[list of files]