all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: packup  ]

Package: packup (0.6-1)

Links for packup


Debian Resources:

Download Source Package packup:


External Resources:

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
amd64 112.7 kB336.0 kB [list of files]
armel 98.5 kB276.0 kB [list of files]
armhf 90.0 kB202.0 kB [list of files]
i386 112.1 kB316.0 kB [list of files]
ia64 171.7 kB612.0 kB [list of files]
kfreebsd-amd64 112.8 kB318.0 kB [list of files]
kfreebsd-i386 112.0 kB302.0 kB [list of files]
mips 108.5 kB340.0 kB [list of files]
mipsel 108.9 kB340.0 kB [list of files]
powerpc 115.2 kB336.0 kB [list of files]
s390 114.1 kB324.0 kB [list of files]
s390x 119.4 kB344.0 kB [list of files]
sparc 106.0 kB324.0 kB [list of files]