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

Package: aspcud (1:1.8.0-3 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.8.0-3 147.7 kB695.0 kB [list of files]
amd64 1:1.8.0-3 142.1 kB612.0 kB [list of files]
armel 1:1.8.0-3 125.1 kB547.0 kB [list of files]
armhf 1:1.8.0-3 128.3 kB467.0 kB [list of files]
hppa (unofficial port) 1:1.8.0-3 147.6 kB636.0 kB [list of files]
hurd-i386 1:1.8.0-3 122.8 kB471.0 kB [list of files]
i386 1:1.8.0-3 142.3 kB583.0 kB [list of files]
kfreebsd-amd64 1:1.8.0-3 122.3 kB440.0 kB [list of files]
kfreebsd-i386 1:1.8.0-3 122.6 kB411.0 kB [list of files]
m68k (unofficial port) 1:1.8.0-3 127.5 kB491.0 kB [list of files]
mips 1:1.8.0-3 131.5 kB668.0 kB [list of files]
mipsel 1:1.8.0-3 133.0 kB668.0 kB [list of files]
powerpc 1:1.8.0-3 138.8 kB619.0 kB [list of files]
powerpcspe (unofficial port) 1:1.8.0-3 135.6 kB611.0 kB [list of files]
ppc64 (unofficial port) 1:1.8.0-3 141.6 kB692.0 kB [list of files]
s390x 1:1.8.0-3 144.4 kB684.0 kB [list of files]
sh4 (unofficial port) 1:1.8.0-2 190.8 kB631.0 kB [list of files]
sparc 1:1.8.0-3 127.4 kB628.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.8.0-3 146.9 kB579.0 kB [list of files]