[ Source: packup ]
Package: packup (0.6-1)
Links for packup
Debian Resources:
Download Source Package packup:
Maintainer:
External Resources:
- Homepage [sat.inesc-id.pt]
Similar packages:
CUDF solver based on pseudo-Boolean constraints
packup is a solver for the package upgradability problem specified in the CUDF format. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ is used for that purpose but a different solver can be used by specifying the pertaining command line option.
Other Packages Related to packup
|
|
|
-
- 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: libc6 (>= 2.1.3) [i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.13) [s390x]
- dep: libc6 (>= 2.2) [mips, mipsel]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.4) [armel, armhf, powerpc, s390]
- dep: libc6 (>= 2.6) [sparc]
-
- dep: libc6.1 (>= 2.2) [ia64]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
-
- dep: libgcc1 (>= 1:4.1.1) [not armel, armhf]
- GCC stödbibliotek
- dep: libgcc1 (>= 1:4.4.0) [armel, armhf]
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- dep: libgmpxx4ldbl
- Multiprecision arithmetic library (C++ bindings)
-
- dep: libstdc++6 (>= 4.4.0)
- GNU Standard C++ Library v3
-
- dep: libunwind7 [ia64]
- Körtidsbibliotek för att bestämma programs anropskedjor
-
- dep: minisat+
- solver for pseudo-Boolean constraints
-
- dep: zlib1g (>= 1:1.1.4)
- Kompressionsbibliotek - körtidspaket
Download packup
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 112.7 kB | 336.0 kB | [list of files] |
| armel | 98.5 kB | 276.0 kB | [list of files] |
| armhf | 90.0 kB | 202.0 kB | [list of files] |
| i386 | 112.1 kB | 316.0 kB | [list of files] |
| ia64 | 171.7 kB | 612.0 kB | [list of files] |
| kfreebsd-amd64 | 112.8 kB | 318.0 kB | [list of files] |
| kfreebsd-i386 | 112.0 kB | 302.0 kB | [list of files] |
| mips | 108.5 kB | 340.0 kB | [list of files] |
| mipsel | 108.9 kB | 340.0 kB | [list of files] |
| powerpc | 115.2 kB | 336.0 kB | [list of files] |
| s390 | 114.1 kB | 324.0 kB | [list of files] |
| s390x | 119.4 kB | 344.0 kB | [list of files] |
| sparc | 106.0 kB | 324.0 kB | [list of files] |