Package: aspcud (2011.03.17.dfsg-4 and others)

[ Source: aspcud  ]

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

• dep: clasp (>= 2.0.0)

  conflict-driven nogood learning answer set solver

• dep: gringo

  grounding tools for (disjunctive) logic programs

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc0.3 (>= 2.2.6) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.1.3) [i386, powerpc, powerpcspe, s390]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.13) [s390x, sh4]

  dep: libc6 (>= 2.13-28) [armhf]

  dep: libc6 (>= 2.2) [mips, mipsel, sparc64]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armel]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.1.3) [alpha]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.2) [ia64]

• dep: libgcc1 [powerpcspe]

  GCC support library

  dep: libgcc1 (>= 1:4.1.1) [not armel, armhf, hurd-i386, powerpcspe]

  dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  dep: libgcc1 (>= 4.2.1) [hurd-i386]

• dep: libstdc++6 [powerpcspe]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 4.6) [not powerpcspe]

• dep: libunwind7 [ia64]

  A library to determine the call-chain of a program - runtime

Download aspcud

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2011.03.17.dfsg-4	131.2 kB	446.0 kB	[list of files]
amd64	2011.03.17.dfsg-4	121.4 kB	404.0 kB	[list of files]
armel	2011.03.17.dfsg-4	108.5 kB	336.0 kB	[list of files]
armhf	2011.03.17.dfsg-4	99.7 kB	279.0 kB	[list of files]
hurd-i386	2011.03.17.dfsg-4	101.7 kB	300.0 kB	[list of files]
i386	2011.03.17.dfsg-4	119.2 kB	367.0 kB	[list of files]
ia64	2011.03.17.dfsg-4	185.7 kB	711.0 kB	[list of files]
kfreebsd-amd64	2011.03.17.dfsg-4	103.5 kB	276.0 kB	[list of files]
kfreebsd-i386	2011.03.17.dfsg-4	101.5 kB	244.0 kB	[list of files]
mips	2011.03.17.dfsg-4	114.4 kB	388.0 kB	[list of files]
mipsel	2011.03.17.dfsg-4	113.9 kB	388.0 kB	[list of files]
powerpc	2011.03.17.dfsg-4	119.5 kB	379.0 kB	[list of files]
powerpcspe (unofficial port)	2011.03.17.dfsg-3	114.9 kB	404.0 kB	[list of files]
s390	2011.03.17.dfsg-4	117.9 kB	371.0 kB	[list of files]
s390x	2011.03.17.dfsg-4	127.7 kB	444.0 kB	[list of files]
sh4 (unofficial port)	2011.03.17.dfsg-4	122.2 kB	369.0 kB	[list of files]
sparc	2011.03.17.dfsg-4	111.0 kB	372.0 kB	[list of files]
sparc64 (unofficial port)	2011.03.17.dfsg-4	113.2 kB	388.0 kB	[list of files]