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
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]
i386 91.3 kB256.0 kB [list of files]
mips64el 85.5 kB337.0 kB [list of files]
mipsel 85.8 kB316.0 kB [list of files]
ppc64el 92.7 kB341.0 kB [list of files]
s390x 78.1 kB261.0 kB [list of files]