all options
wheezy  ] [  jessie  ] [  sid  ]
[ Source: aspcud  ]

Package: aspcud (1:1.9.0-2 and others)

Links for aspcud


Debian Resources:

Download Source Package aspcud:


External Resources:

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

Download aspcud

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1:1.9.0-2 141.6 kB632.0 kB [list of files]
amd64 1:1.9.0-2 141.0 kB572.0 kB [list of files]
arm64 1:1.9.0-2 136.1 kB535.0 kB [list of files]
armel 1:1.9.0-2 121.8 kB498.0 kB [list of files]
armhf 1:1.9.0-2 129.6 kB422.0 kB [list of files]
hppa (unofficial port) 1:1.9.0-2 143.8 kB578.0 kB [list of files]
hurd-i386 1:1.9.0-2 130.7 kB482.0 kB [list of files]
i386 1:1.9.0-2 144.6 kB483.0 kB [list of files]
kfreebsd-amd64 1:1.9.0-2 127.4 kB455.0 kB [list of files]
kfreebsd-i386 1:1.9.0-2 130.7 kB429.0 kB [list of files]
m68k (unofficial port) 1:1.9.0-2 127.0 kB450.0 kB [list of files]
mips 1:1.9.0-2 127.7 kB612.0 kB [list of files]
mipsel 1:1.9.0-2 129.8 kB612.0 kB [list of files]
powerpc 1:1.9.0-2 139.0 kB578.0 kB [list of files]
powerpcspe (unofficial port) 1:1.9.0-2 135.6 kB506.0 kB [list of files]
ppc64 (unofficial port) 1:1.9.0-2 138.2 kB637.0 kB [list of files]
ppc64el 1:1.9.0-2 139.0 kB564.0 kB [list of files]
s390x 1:1.9.0-2 139.3 kB627.0 kB [list of files]
sh4 (unofficial port) 1:1.9.0-2 150.2 kB502.0 kB [list of files]
sparc 1:1.9.0-2 121.3 kB543.0 kB [list of files]
sparc64 (unofficial port) 1:1.8.0-3 123.6 kB607.0 kB [list of files]
x32 (unofficial port) 1:1.9.0-2 142.0 kB526.0 kB [list of files]