all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: packup  ]

Package: packup (0.6-3.1)

Links for packup

Screenshot

Debian Resources:

Download Source Package packup:

Maintainer:

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.

Tags: Role: Program

Other Packages Related to packup

  • depends
  • recommends
  • suggests
  • enhances

Download packup

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 84.5 kB285.0 kB [list of files]
amd64 84.8 kB249.0 kB [list of files]
arm64 77.3 kB237.0 kB [list of files]
armel 71.3 kB208.0 kB [list of files]
armhf 73.3 kB156.0 kB [list of files]
hppa (unofficial port) 83.3 kB234.0 kB [list of files]
i386 91.3 kB256.0 kB [list of files]
ia64 (unofficial port) 104.4 kB462.0 kB [list of files]
m68k (unofficial port) 73.9 kB228.0 kB [list of files]
mips64el 85.5 kB337.0 kB [list of files]
mipsel 85.8 kB316.0 kB [list of files]
ppc64 (unofficial port) 92.4 kB343.0 kB [list of files]
ppc64el 92.7 kB341.0 kB [list of files]
riscv64 (unofficial port) 81.4 kB197.0 kB [list of files]
s390x 78.1 kB261.0 kB [list of files]
sh4 (unofficial port) 83.2 kB208.0 kB [list of files]
sparc64 (unofficial port) 70.2 kB240.0 kB [list of files]
x32 (unofficial port) 81.5 kB228.0 kB [list of files]