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

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

Links for aspcud

Screenshot

Debian Resources:

Download Source Package aspcud:

Maintainer:

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.1-2 144.0 kB540.0 kB [list of files]
arm64 1:1.9.1-2 134.9 kB492.0 kB [list of files]
armel 1:1.9.1-2 124.9 kB462.0 kB [list of files]
armhf 1:1.9.1-2 127.7 kB378.0 kB [list of files]
hppa (unofficial port) 1:1.9.1-2 144.4 kB534.0 kB [list of files]
hurd-i386 1:1.9.1-2 134.6 kB446.0 kB [list of files]
i386 1:1.9.1-2 148.2 kB506.0 kB [list of files]
kfreebsd-amd64 1:1.9.1-2 129.9 kB476.0 kB [list of files]
kfreebsd-i386 1:1.9.1-2 132.3 kB432.0 kB [list of files]
m68k (unofficial port) 1:1.9.1-2 124.7 kB466.0 kB [list of files]
mips 1:1.9.1-2 131.3 kB579.0 kB [list of files]
mipsel 1:1.9.1-2 131.8 kB559.0 kB [list of files]
powerpc 1:1.9.1-2 138.9 kB627.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.1-2 140.2 kB706.0 kB [list of files]
ppc64el 1:1.9.1-2 139.3 kB627.0 kB [list of files]
s390x 1:1.9.1-2 141.8 kB628.0 kB [list of files]
sh4 (unofficial port) 1:1.9.1-2 151.8 kB458.0 kB [list of files]
sparc 1:1.9.1-2 123.9 kB515.0 kB [list of files]
sparc64 (unofficial port) 1:1.9.1-2 124.3 kB552.0 kB [list of files]
x32 (unofficial port) 1:1.9.1-2 144.3 kB491.0 kB [list of files]